Skip to Main content Skip to Navigation
Conference papers

Verification of Multi-agent Systems with Imperfect Information and Public Actions

Francesco Belardinelli 1, 2 Alessio Lomuscio 3 Aniello Murano 4 Sasha Rubin 4
1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
3 Department of Computing
4 DIETI - Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione [Napoli]
Abstract : We analyse the verication problem for synchronous, perfectrecall multi-agent systems with imperfect informationagainst a specication language that includes strategic andepistemic operators. While the verication problem is undecidable,we show that if the agents' actions are public, thenverication is 2exptime-complete. To illustrate the formalframework we consider two epistemic and strategic puzzleswith imperfect information and public actions: the muddychildren puzzle and the classic game of battleships.
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01774305
Contributor : Frédéric Davesne <>
Submitted on : Monday, April 23, 2018 - 3:17:10 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:09 AM

Identifiers

  • HAL Id : hal-01774305, version 1

Collections

IBISC | UNIV-EVRY | IBISC-COSMO | CNRS | SMS | UNIV-TLSE2 | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-LILAC

Citation

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of Multi-agent Systems with Imperfect Information and Public Actions. 16th International Conference on Antonomous Agents and Multiagent Sytems (AAMAS 2017), May 2017, Sao Polo, Brazil. ⟨hal-01774305⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

119