Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
601	International Journal of Foundations of Computer Science c World Scientific Publishing Company Semi-Automatic Distributed Synthesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2006-11-06 14:37:29 Models of computation Automata theory Finite-state machine
602	Hang Zhou Í 45 rue d’UlmParis Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-04-17 13:00:26 Écoles Normales Supérieures Theoretical computer science École Normale Supérieure Mathematics Academia Grandes écoles Automata theory International Colloquium on Automata Languages and Programming
603	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
604	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
605	5 Representing distributions over strings with automata and grammars T Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:02 Computer science Applied mathematics Nondeterministic finite automaton Markov chain Probabilistic automaton Deterministic finite automaton Finite-state machine Automata theory Models of computation Theoretical computer science
606	A Comparative Study of Multi-agent Reinforcement Learning Dynamics Daan Bloembergen Michael Kaisers Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:21 Artificial intelligence Reinforcement learning Learning automata Machine learning Q-learning Game theory Evolutionary game theory Reinforcement Replicator equation Evolutionary biology Evolutionary dynamics Science
607	Distributed Synthesis for Alternating-Time Logics⋆ Sven Schewe and Bernd Finkbeiner 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:36:18 Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science
608	JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Applied mathematics Computer science Directed acyclic word graph Deterministic finite automaton Algorithm Machine learning String searching algorithm DFA minimization Finite-state machine Automata theory Models of computation Theoretical computer science
609	RESQ-learning in stochastic games Daniel Hennes, Michael Kaisers and Karl Tuyls Maastricht University Department of Knowledge Engineering P.O. Box 616, 6200 MD Maastricht, The Netherlands Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:15 Learning Evolutionary dynamics Markov models Markov processes Evolutionary game theory Replicator equation Markov chain Learning automata Reinforcement learning Statistics Game theory Evolutionary biology
610	Reinforcement Learning in Multi-agent Games A value iteration perspective Michael Kaisers March 15, 2008 Abstract Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:01:24 Artificial intelligence Nash equilibrium Q-learning Best response Coordination game Strategic dominance Reinforcement learning Learning automata Outcome Game theory Problem solving Science

UPDATE