Combine Model Checking and Runtime Verification in Multi-Agent Systems
Contributo in Atti di convegno
Data di Pubblicazione:
2021
Citazione:
Combine Model Checking and Runtime Verification in Multi-Agent Systems / Ferrando, Angelo; Malvone, Vadim. - 3072:(2021), pp. 302-310. ( 22nd Italian Conference on Theoretical Computer Science, ICTCS 2021 Virtual, Bologna 13 -15 September 2021).
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Model checking; Multi-agent systems; Runtime verification;
Elenco autori:
Ferrando, Angelo; Malvone, Vadim
Link alla scheda completa:
Titolo del libro:
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021
Pubblicato in: