We develop a logic-based technique to analyse finite interactions in multi-agent systems. We introduce a semantics for Alternating-time Temporal Logic (for both perfect and imperfect recall) and its branching-time fragments in which paths are finite instead of infinite. We study validities of these logics and present optimal algorithms for their model-checking problems in the perfect recall case.
Alternating-time Temporal Logic on Finite Traces / Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha. - In: IJCAI. - ISSN 1045-0823. - (2018), pp. 77-83. (Intervento presentato al convegno 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 tenutosi a Stockholm, Sweden nel July 13-19, 2018) [10.24963/ijcai.2018/11].
Alternating-time Temporal Logic on Finite Traces
Aniello Murano
Membro del Collaboration Group
;Sasha Rubin
2018
Abstract
We develop a logic-based technique to analyse finite interactions in multi-agent systems. We introduce a semantics for Alternating-time Temporal Logic (for both perfect and imperfect recall) and its branching-time fragments in which paths are finite instead of infinite. We study validities of these logics and present optimal algorithms for their model-checking problems in the perfect recall case.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
