Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel

Source URL: files.oliverfriedmann.de

• Nested word
• Deterministic pushdown automaton
• Pushdown automaton
• Connection
• Complementation of Büchi automaton
• Automata theory
• Theoretical computer science
• Computer science

Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis

Source URL: cgi.csc.liv.ac.uk

• Büchi automaton
• Automata theory
• Models of computation
• Deterministic finite automaton

RANGE ROVER 2014.5MY – MODELLEK ÁTTEKINTÉSE HSE alapfelszereltség Váltómű, felfüggesztés & vezetési dinamika • 8-fokozatú automata váltó • Állandó összkerékhajtás • Dízel részecskeszűrő beren

Source URL: www.landroverhungary.hu

Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

Source URL: lara.epfl.ch

• Digital electronics
• Logic
• Models of computation
• Elementary mathematics
• Logical syntax
• Finite state transducer
• Flip-flop
• Function
• FO
• Mathematics
• Theoretical computer science
• Automata theory

Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany

Source URL: drops.dagstuhl.de

• Theoretical computer science
• Computer science
• Nested word
• Pushdown automaton
• Deterministic pushdown automaton
• Turing machine
• Nondeterministic finite automaton
• SC
• Deterministic finite automaton
• Automata theory
• Theory of computation
• Models of computation

JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning

Source URL: jmlr.org

• Computer science
• Software engineering
• Deterministic finite automaton
• Nondeterministic finite automaton
• Symbol
• Counterexample
• Regular expression
• Automata theory
• Models of computation
• Theoretical computer science

analyzing Reinforcement Learning algorithms using Evolutionary Game Theory Daan Bloembergen ANALYZING REINFORCEMENT LEARNING ALGORITHMS USING EVOLUTIONARY

Source URL: michaelkaisers.com

• Cybernetics
• Reinforcement learning
• Q-learning
• Learning automata
• Agent-based model
• Evolutionary game theory
• Multi-agent system
• Reinforcement
• Game theory
• Science
• Machine learning
• Artificial intelligence

c:umente und Einstellungenielktop thesis2FALA_PM_i10a0_01b0.eps

Source URL: michaelkaisers.com

• Control theory
• Learning automata
• Machine learning
• Learning
• Computational statistics
• Reinforcement learning
• Q-learning
• Mathematical optimization
• Nash equilibrium
• Game theory
• Artificial intelligence
• Markov models

Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis

Source URL: cgi.csc.liv.ac.uk

• Applied mathematics
• Tree automaton
• Finite-state machine
• Alternating finite automaton
• Powerset construction
• Formal language
• Muller automaton
• Automata theory
• Theoretical computer science
• Computer science

12 Informed learners T Understanding is compression, comprehension is compression!

Source URL: pagesperso.lina.univ-nantes.fr

• Computer science
• Software engineering
• Finite-state machine
• GOLD
• Computing
• Automata theory
• Models of computation
• Deterministic finite automaton