Exponential Acceleration of Model Checking for Perfect Recall Systems

DOI10.1007/978-3-642-29709-0_12zbMath1336.68163OpenAlexW177403405MaRDI QIDQ3457975

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

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

This page was built for publication: Exponential Acceleration of Model Checking for Perfect Recall Systems