Synthesis with Incomplete Informatio
- 1 January 2000
- book chapter
- other
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Temporal and Modal LogicPublished by Elsevier BV ,1990
- Realizable and unrealizable specifications of reactive systemsLecture Notes in Computer Science, 1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- Alternating automata on infinite treesTheoretical Computer Science, 1987
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Deciding full branching time logicInformation and Control, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969