Model Checking Knowledge and Linear Time: PSPACE Cases

DOI10.1007/978-3-540-72734-7_14zbMath1132.68729OpenAlexW1540001753MaRDI QIDQ5434507

Kai Engelhardt, Ron van der Meyden, Peter Gammie

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Model Checking Information Flow in Reactive Systems ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• MCMAS

This page was built for publication: Model Checking Knowledge and Linear Time: PSPACE Cases