Exponential acceleration of model checking for perfect recall systems

DOI10.1007/978-3-642-29709-0_12MaRDI QIDQ3457975zbMATH OpenOpenAlexFDO

Authors Natalia Garanina

Publication date 7 December 2015

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

Full work available at URL https://doi.org/10.1007/978-3-642-29709-0_12

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Data structures (68P05) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

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

Cited in

(3)

• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Well-structured model checking of multiagent systems
• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

This page was built for publication: Exponential acceleration of model checking for perfect recall systems

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