Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems
Conference Paper
Publication Date:
2022
Short description:
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems / Ferrando, A.; Malvone, V.. - 13616:(2022), pp. 140-152. ( 20th International Conference on Practical Applications of Agents and Multi-Agent Systems , PAAMS 2022 L'Aquila, ITALY JUL 13-15, 2022) [10.1007/978-3-031-18192-4_12].
Iris type:
Relazione in Atti di Convegno
Keywords:
Model checking; Runtime verification; Strategic reasoning;
List of contributors:
Ferrando, A.; Malvone, V.
Book title:
ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPLEX SYSTEMS SIMULATION. THE PAAMS COLLECTION, PAAMS 2022
Published in: