Ω-automaton - PDFSEARCH.IO - Document Search Engine

Ω-automaton
Results: 90

#	Item
11	Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:37:30 Symbol Finite-state machine Deterministic automaton Ω-automaton Automata theory Theoretical computer science Computer science
12	Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe\|finkbeiner}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:05 Applied mathematics Ω-automaton Finite-state machine Scheduling Tree automaton Alternating finite automaton Powerset construction Automata theory Theoretical computer science Computer science
13	Satisability and Finite Model Property for the Alternating-Time -Cal ulus? Sven S hewe and Bernd Finkbeiner Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-04-30 04:31:43 Æ Ω-automaton Linguistics Notation Automata theory Centimetre–gram–second system of units Metrology
14	A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:08 Method of analytic tableaux Theoretical computer science Applied mathematics Ω-automaton Formal language Automata theory Mathematics Automated theorem proving
15	Tighter Bounds for the Determinisation of Bu hi Automata? Sven S hewe University of Liverpool sven.s heweliverpool.a .uk Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2011-03-14 06:40:19 Ω-automaton Mathematics Automaton Applied mathematics Tree Infinite tree automaton Muller automaton Automata theory Computer science Tree automaton
16	Solving Parity Games in Practice Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany Abstract. Parity games are 2-player games of perfect information and infinite duration that have Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:17 Parity game Quantum field theory Quantum mechanics Determinacy Ω-automaton Automata theory Parity Solver Physics Game theory Finite model theory
17	The Modal µ-Calculus Caught Off Guard Oliver Friedmann1 and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:12 Ω-automaton Method of analytic tableaux Symbol Partition Well-formed formula Mathematics Logic Automata theory
18	Semi-Automatic Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {finkbeiner\|schewe}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:26 Ω-automaton Tree automaton Finite-state machine Alternating finite automaton Automata theory Theoretical computer science Computer science
19	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
20	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory