Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall
Contributo in Atti di convegno
Data di Pubblicazione:
2021
Citazione:
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under
Imperfect Information and Perfect Recall / Ferrando, Angelo; Malvone, Vadim. - 3:(2021), pp. 1752-1754. ( 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021 Virtual, Online 3-7 May 2021).
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
ATL Model Checking; Imperfect Information; Perfect Recall Strategies; Runtime Verification;
Elenco autori:
Ferrando, Angelo; Malvone, Vadim
Link alla scheda completa:
Titolo del libro:
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021