On simultaneously determinizing and complementing omega -automata
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 333-342
- https://doi.org/10.1109/lics.1989.39188
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On the synthesis of a reactive modulePublished by Association for Computing Machinery (ACM) ,1989
- The complementation problem for Büchi automata with applications to temporal logicTheoretical Computer Science, 1987
- The taming of converse: Reasoning about two-way computationsLecture Notes in Computer Science, 1985
- Deciding full branching time logicInformation and Control, 1984
- Propositional Dynamic Logic of looping and conversePublished by Association for Computing Machinery (ACM) ,1981
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Process logicPublished by Association for Computing Machinery (ACM) ,1979
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Decidability of Second-Order Theories and Automata on Infinite TreesTransactions of the American Mathematical Society, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966