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

Abstract : We analyse the veri cation problem for synchronous, perfect recall multi-agent systems with imperfect information against a speci cation language that includes strategic and epistemic operators. While the veri cation problem is undecidable, we show that if the agents' actions are public, then veri cation is 2exptime-complete. To illustrate the formal framework we consider two epistemic and strategic puzzles with imperfect information and public actions: the muddy children 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 : Friday, January 10, 2020 - 9:09:25 PM

Identifiers

  • HAL Id : hal-01774305, version 1

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⟩

Share

Metrics

Record views

102