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, alanmi

First Page		Document Content
Date: 2006-10-02 15:04:33 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		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, alanmi Add to Reading List Source URL: www.bvsrc.org Download Document from Source Website File Size: 201,11 KB Share Document on Facebook