Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
611	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
612	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
613	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
614	JMLR: Workshop and Conference Proceedings 34:167–181, 2014 Proceedings of the 12th ICGI Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Automata theory Statistics Models of computation Metric geometry Ultrametric space Statistical hypothesis testing Regular expression String Deterministic finite automaton Formal languages Theoretical computer science Mathematics
615	Cellular Automata as a Model for Dynamic Leaf Structure by Nisansala Yatapanage Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-01-14 06:46:55 Lattice gas automaton Science Theoretical computer science Reversible cellular automaton Asynchronous cellular automaton Cellular automata Cellular automaton Mathematics
616	Replicator Dynamics for Multi-agent Learning: An Orthogonal Approach Michael Kaisers and Karl Tuyls Maastricht University, P.O. Box 616, 6200 MD Maastricht Abstract. Today’s society is largely connected and many real Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:37 Evolutionary game theory Replicator equation Reinforcement learning Dynamics Dynamical system Differential equation Learning automata Machine learning Evolutionary biology Evolutionary dynamics Game theory
617	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
618	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation
619	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
620	Replicator Dynamics for Multi-agent Learning An Orthogonal Approach Michael Kaisers Maastricht University, P.O. Box 616, 6200 MD Maastricht August 28, 2009 Abstract Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:02:00 Evolutionary dynamics Science Replicator equation Reinforcement learning Dynamics Learning automata Evolutionarily stable strategy Dynamical system Q-learning Game theory Evolutionary biology Evolutionary game theory

UPDATE