Complementation of Büchi automaton - PDFSEARCH.IO - Document Search Engine

Complementation of Büchi automaton
Results: 15

#	Item
11	On the Synthesis of Discrete ?Controllers for Timed Systems (An Extended Abstract) Oded Maler1 Amir Pnueli2 Joseph Sifakis1 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Applied mathematics Complementation of Büchi automaton Automata theory Mathematics Quasigroup
12	Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:27:55 Mathematics Symbol Interpretation Tree automaton Nondeterministic finite automaton Complementation of Büchi automaton Automata theory Theoretical computer science Logic
13	CONTRIBUCIONES CIENT´ IFICAS ´ GOMEZ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2010-07-19 06:24:06 Abstract algebra Ordinal number Constructible universe Complementation of Büchi automaton Ordinal arithmetic Mathematical logic Mathematics Automata theory
14	PDF Document Add to Reading List Source URL: engineering.dartmouth.edu Language: English - Date: 2008-04-07 10:58:34 Applied mathematics DFA minimization Myhill–Nerode theorem Nondeterministic finite automaton Regular language Complementation of Büchi automaton Büchi automaton Automata theory Theoretical computer science Computer science
15	PDF Document Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2001-11-20 12:30:01 Finite model theory If and only if Applied mathematics Complementation of Büchi automaton Probability space Mathematics Probability theory FO

UPDATE