Well-structured model checking of multiagent systems

DOI10.1007/978-3-540-70881-0_31MaRDI QIDQ3401961zbMATH OpenOpenAlexFDO

Authors

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• Exponential acceleration of model checking for perfect recall systems
• scientific article; zbMATH DE number 5051662
• scientific article; zbMATH DE number 1500666
• Model Checking Knowledge and Linear Time: PSPACE Cases
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall

Cited in

(10)

• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Parameterised verification for multi-agent systems
• Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
• mcmas: A Model Checker for Multi-agent Systems
• Exponential acceleration of model checking for perfect recall systems
• Abstraction for model checking multi-agent systems
• scientific article; zbMATH DE number 1950649 (Why is no real title available?)
• scientific article; zbMATH DE number 1759731 (Why is no real title available?)
• Branch-well-structured transition systems and extensions

This page was built for publication: Well-structured model checking of multiagent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401961)