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.
| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 3345 |
| Publication status | Published - 1 Jan 2022 |
| Event | 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 - Udine, Italy Duration: 28 Nov 2022 → 2 Dec 2022 |
Keywords
- CEUR-WS
- LaTeX class
- paper formatting
- paper template