![Büchi automaton / Muller automaton / Ω-automaton / Finite-state machine / Powerset construction / Nondeterministic finite automaton / Generalized Büchi automaton / Automata theory / Theoretical computer science / Computer science Büchi automaton / Muller automaton / Ω-automaton / Finite-state machine / Powerset construction / Nondeterministic finite automaton / Generalized Büchi automaton / Automata theory / Theoretical computer science / Computer science](https://www.pdfsearch.io/img/05094e0d2788a71aa2959fbd1a51ba17.jpg) Date: 2006-10-02 15:04:33Büchi automaton Muller automaton Ω-automaton Finite-state machine Powerset construction Nondeterministic finite automaton Generalized Büchi automaton Automata theory Theoretical computer science Computer science | | Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmiAdd to Reading ListSource URL: www.bvsrc.orgDownload Document from Source Website File Size: 201,11 KBShare Document on Facebook
|