A Compositional Automata-based Approach for Model Checking Multi-Agent Systems

DOI10.1016/J.ENTCS.2007.08.030zbMath1279.68195OpenAlexW2042878494MaRDI QIDQ2873614

Carla Delgado, Ricardo Ribeiro, Luís Mário Lopes, Mario R. F. Benevides, Carlos G. López Pombo

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.030

zbMATH Keywords

model checkingmulti-agent systemsepistemic modal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The temporal logic of branching time
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• Alternating-time temporal logic

This page was built for publication: A Compositional Automata-based Approach for Model Checking Multi-Agent Systems