RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
 |
 |
 |
address = {Seattle, WA, USA},
author = {Ferrando, Angelo and Gatti, Andrea and Mascardi, Viviana},
booktitle = {Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023)},
date-added = {2024-06-26 17:32:50 +0200},
date-modified = {2024-06-26 17:55:00 +0200},
doi = {10.1145/3605159.3605855},
editor = {Ancona, Davide and Audrito, Giorgio},
isbn = {979-8-4007-0249-5},
month = {18~} # jul,
pages = {1--8},
publisher = {ACM},
title = {{RV4Rasa}: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in {R}asa},
url = {https://dl.acm.org/doi/10.1145/3605159.3605855},
year = 2023
}