Model Checking Knowledge and Time
- 23 May 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Model Checking Knowledge and Time in Systems with Perfect RecallPublished by Springer Nature ,1999
- Resolution for temporal logics of knowledgeJournal of Logic and Computation, 1998
- Knowledge-based programsDistributed Computing, 1997
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Epistemic Logic for AI and Computer SciencePublished by Cambridge University Press (CUP) ,1995
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Symbolic Model CheckingPublished by Springer Nature ,1993
- A little knowledge goes a long wayJournal of the ACM, 1992
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989