RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.

Angelo Ferrando Andrea Gatti Viviana Mascardi

Published in: VORTEX@ISSTA (2023)

Keyphrases

multi agent
multi agent systems
main contribution
theoretical framework
formal model
lightweight
logical framework
data sets
neural network
user interface
knowledge representation
conceptual model
formal methods
framework enables