Skip to Main content Skip to Navigation
Conference papers

Alternating-time temporal logic on finite traces

Francesco Belardinelli 1 Alessio Lomuscio 2 Aniello Murano 3 Sasha Rubin 3 
1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 Department of Computing
3 DIETI - Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione [Napoli]
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.
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01918365
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Saturday, November 10, 2018 - 6:54:57 PM
Last modification on : Tuesday, January 18, 2022 - 2:26:06 PM

Identifiers

  • HAL Id : hal-01918365, version 1

Collections

UNIV-EVRY | IBISC | IBISC-COSMO | UNIV-PARIS-SACLAY | GS-ENGINEERING | GS-COMPUTER-SCIENCE

Citation

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Alternating-time temporal logic on finite traces. 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. pp.77--83. ⟨hal-01918365⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

32