Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
621	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
622	Total Variation Meets Topological Persistence: A First Encounter Add to Reading List Source URL: ddg.math.uni-goettingen.de Language: English - Date: 2010-10-19 15:08:40 Ordinal number Mathematical logic Automata theory Ordinal arithmetic Mathematics Calculus Continuous function
623	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
624	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Complexity classes Models of computation Order theory Automata theory Integer sequences Antichain Finite-state machine FO Function Theoretical computer science Mathematics Applied mathematics
625	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
626	1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-04 09:57:06 Software engineering Computing Abstraction Deterministic finite automaton Abstract interpretation Nondeterministic finite automaton Finite-state machine Automata theory Models of computation Computer science
627	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
628	Multi-agent Learning and the Reinforcement Gradient Michael Kaisers and Karl Tuyls Maastricht University, P.O. Box, 6200 MD Maastricht, , WWW home page: http://www.michaelkaisers.co Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:04:47 Learning Computational statistics Q-learning Machine learning Learning automata Markov models Artificial intelligence Reinforcement learning
629	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
630	Local Strategy Improvement for Parity Game Solving Oliver Friedmann Martin Lange Dept. of Computer Science Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:10 Determinacy Automata theory Game theory Finite model theory Parity game

UPDATE