Solving Infinite Games with Bounds Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte

Source URL: www.automata.rwth-aachen.de

• Linear temporal logic
• Temporal logic

Models of Computation Lecture 4: Nondeterministic Automata [Fa’14] Caveat lector! This is the first edition of this lecture note. Some topics are incomplete, and there are almost certainly a few serious errors. Please

Source URL: web.engr.illinois.edu

• Applied mathematics
• Nondeterministic finite automaton
• Powerset construction
• Deterministic finite automaton
• Regular expression
• Finite-state machine
• Regular language
• Symbol
• String
• Automata theory
• Theoretical computer science
• Computer science

Models of Computation Lecture 3: Finite-State Machines [Fa’14] Caveat lector! This is the first edition of this lecture note. A few topics are missing, and there are almost certainly a few serious errors. Please send

Source URL: web.engr.illinois.edu

• Computer science
• DFA minimization
• Finite-state machine
• Deterministic finite automaton
• Nondeterministic finite automaton
• Automata theory
• Models of computation
• Theoretical computer science

PDF Document

Source URL: www.foibg.com

• Software engineering
• Theoretical computer science
• Computing
• Automata theory
• Pattern matching
• Regular expression

PDF Document

Source URL: www.ai.sri.com

• Computer
• Computing
• Automata theory

Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1

Source URL: people.cs.aau.dk

• Models of computation
• Deduction
• Entailment
• Logical consequence
• Metalogic
• S0
• Cyan
• Advanced Configuration and Power Interface
• Finite-state machine
• Color
• Logic
• Automata theory

PDF Document

Source URL: www.automata.rwth-aachen.de

Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa

Source URL: pauillac.inria.fr

• Computer science
• Formal methods
• Deterministic finite automaton
• Nondeterministic finite automaton
• Finite-state machine
• X-machine
• Non-deterministic Turing machine
• Ω-automaton
• Finite state transducer
• Models of computation
• Automata theory
• Theoretical computer science

The Relationship between One-dimensional Continuous Cellular Automata and One-dimensional Nonlinear Dynamical Systems

Source URL: www.complex-systems.com

• Orbit
• Stability theory
• Diagram
• Structure
• Nature
• Science
• Dynamical systems
• Systems
• Systems theory

A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan

Source URL: www.cs.rice.edu

• Formal languages
• Metalogic
• Automata theory
• Kripke semantics
• Sheaf theory
• Partition
• Nested word
• Well-formed formula
• Model theory
• Logic
• Mathematics
• Mathematical logic