Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall
Conference Paper
Publication Date:
2021
Short description:
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).
Iris type:
Relazione in Atti di Convegno
Keywords:
ATL Model Checking; Imperfect Information; Perfect Recall Strategies; Runtime Verification;
List of contributors:
Ferrando, Angelo; Malvone, Vadim
Book title:
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021