Co-Büchi automaton
Results: 2
# | Item |
---|---|
1![]() | Determinisation of history-deterministic automata 1 1 Denis Kuperberg , Michał SkrzypczakAdd to Reading ListSource URL: www.liafa.univ-paris-diderot.frLanguage: English - Date: 2014-07-04 07:26:19 |
2![]() | 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.orgLanguage: English - Date: 2006-10-02 15:04:33 |