Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
581	Uniform Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨at des Saarlandes Abstract Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:40:44 Ω-automaton Finite-state machine Papyrus 1 Automata theory Models of computation Symbol
582	Manuscript Click here to download Manuscript: fermanianlasser_rev.tex 1 2 3 Add to Reading List Source URL: www-m3.ma.tum.de Language: English* - Date: 2011-03-29 04:29:52 Automata theory Symbol
583	Ramsey-Based Analysis of Parity Automata Oliver Friedmann1 and Martin Lange2 1 Dept. of Computer Science, Ludwig-Maximilians-University of Munich, Germany School of Electr. Eng. and Computer Science, University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:13 Complementation of Büchi automaton Automata theory Ω-automaton Symbol
584	Space Lower Bounds for Graph Exploration via Reduced Automata Pierre Fraigniaud1 , David Ilcinkas1 , Sergio Rajsbaum2 , and S´ebastien Tixeuil1 1 2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2007-01-17 10:04:45 Graph Directed graph Connectivity Tree Degree Flow network Line graph Signed graph Graph theory Mathematics Graph operations
585	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
586	Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner \| peter}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-02-12 09:49:58 Applied mathematics Mathematics Büchi automaton Automata theory Equivalence relation Computer science
587	Learning probabilistic finite automata Colin de la Higuera University of Nantes Nantes, November 2013 Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2013-11-27 05:21:00 Nondeterministic finite automaton France Automata theory Probabilistic automaton University of Nantes
588	JMLR: Workshop and Conference Proceedings 34:109–123, 2014 Proceedings of the 12th ICGI Learning Nondeterministic Mealy Machines Ali Khalili Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Mealy machine Finite-state machine Regular language Computing Mathematics Finite state transducer Automata theory Models of computation Nondeterministic finite automaton
589	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
590	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

UPDATE