Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa
Contributo in Atti di convegno
Data di Pubblicazione:
2022
Citazione:
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa / Ferrando, A.; Malvone, V.. - 3345:(2022). ( 10th Italian Workshop on Planning and Scheduling, IPS 2022, RCRA Incontri E Confronti, RiCeRcA 2022, and the Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, SPIRIT 2022 ita 2022).
Abstract:
In this paper, we review the history of model checking and runtime verification on multi-agent systems by recalling the results obtained in the two research areas. Then, we present some past, present and future directions to combine these techniques in the two possible sides, that is by using model checking for multi-agent systems to solve runtime verification problems and vice versa.
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
CEUR-WS; LaTeX class; paper formatting; paper template
Elenco autori:
Ferrando, A.; Malvone, V.
Link alla scheda completa:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: