Model Checking Knowledge and Time in Systems with Perfect Recall
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 432-445
- https://doi.org/10.1007/3-540-46691-6_35
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Common Knowledge and Update in Finite EnvironmentsInformation and Computation, 1998
- Synthesis from knowledge-based specificationsPublished by Springer Nature ,1998
- Knowledge-based programsDistributed Computing, 1997
- Reasoning About KnowledgePublished by MIT Press ,1995
- Infinite trees and automaton- definable relations over ω-wordsTheoretical Computer Science, 1992
- Model Checking vs. Theorem Proving: A ManifestoPublished by Elsevier ,1991
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Reasoning about knowledge and time in asynchronous systemsPublished by Association for Computing Machinery (ACM) ,1988
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985