Synthesis from knowledge-based specifications
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
All Related Versions
This publication has 26 references indexed in Scilit:
- Weak alternating automata and tree automata emptinessPublished by Association for Computing Machinery (ACM) ,1998
- Knowledge-based programsDistributed Computing, 1997
- Methodology and system for practical formal verification of reactive hardwarePublished by Springer Nature ,1994
- A little knowledge goes a long wayJournal of the ACM, 1992
- Knowledge and common knowledge in a distributed environmentJournal of the ACM, 1990
- The complexity of tree automata and logics of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969
- Solving Sequential Conditions by Finite-State StrategiesTransactions of the American Mathematical Society, 1969