Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems
Contributo in Atti di convegno
Data di Pubblicazione:
2022
Citazione:
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].
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Model checking; Runtime verification; Strategic reasoning;
Elenco autori:
Ferrando, A.; Malvone, V.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPLEX SYSTEMS SIMULATION. THE PAAMS COLLECTION, PAAMS 2022
Pubblicato in: