![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)
| Document Date: 2006-10-02 15:04:33 Open Document File Size: 201,11 KBShare Result on Facebook
Company S. Solutions / Discrete Event Systems / / / Facility University of California Berkeley / Indian Institute of Technology / / IndustryTerm sub-solution / final solution / logic network / automaton solution / deterministic solutions / final processing / regular product / graph pre-processing step / solution automaton solution / transportation strategy / recent efficient algorithms / particular solution / sub-solutions / / Organization University of California / Acc / Administrative Committee on Coordination / Indian Institute of Technology / / Person Alan Mishchenko / Robert Brayton / Alberto Sangiovanni-Vincentelli / / Position straight-forward / representative / General / controller / / PublishedMedium Lecture Notes in Computer Science / IEEE Transactions on Computers / / Technology 5 6 Algorithms / finite state machine / /
SocialTag |