Ω-automaton - PDFSEARCH.IO - Document Search Engine

Ω-automaton
Results: 90

#	Item
61	Infinite games and automata theory ¨ Christof Loding RWTH Aachen, Germany Spring School 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:55 Mathematics Ω-automaton Automata theory Sequence Finite-state machine
62	Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Br¨utsch RWTH Aachen University, Lehrstuhl f¨ur Informatik 7, Germany [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-05-15 08:25:21 Applied mathematics Ω-automaton Algorithm Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science
63	Aachen Department of Computer Science Technical Report Languages of Infinite Traces and Deterministic Asynchronous Automata Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-18 06:46:59 Ω-automaton Representation theory of finite groups Automata theory Symbol Muller automaton
64	A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Applied mathematics Büchi automaton Muller automaton Omega language Deterministic finite automaton Regular language Nondeterministic finite automaton Formal language Ω-automaton Automata theory Theoretical computer science Computer science
65	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
66	Microsoft PowerPoint - Automata Theory 101.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Powerset construction Ω-automaton Regular language Regular expression Formal language Symbol Automata theory Theoretical computer science Computer science
67	Quasi-Weak Cost Functions A New Variant of Weakness Achim Blumensath1 Thomas Colcombet2 Denis Kuperberg3 Christof L¨oding4 Pawel Parys3 Michael Vanden Boom5 1 TU Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-04-30 05:09:51 Formal languages Computer science Nondeterministic finite automaton Finite-state machine Regular language Ω-automaton Automata theory Models of computation Theoretical computer science
68	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-07-10 12:10:51 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
69	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , Orna Kupferman1 1 Hebrew University of Jerusalem Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-09-05 08:28:57 Deterministic automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
70	Theory of optimal control using bisimulations Mireille Broucke† , Maria Domenica Di Benedetto‡† , Stefano Di Gennaro‡ , and Alberto Sangiovanni-Vincentelli† † Dept. of Electrical Engineering and Computer Sci Add to Reading List Source URL: www.control.utoronto.ca Language: English - Date: 2005-08-28 20:39:10 Probability theory Mathematics Logic Ω-automaton Sigma-algebra Model theory Structure Universal algebra

UPDATE