List of Topics


This list is approximate and will evolve according to the interests of the class.
  1. Preliminaries: Automata on finite words.
  2. Automata on infinite words and omega-regular languages.
    1. Definitions, closure properties.
    2. Alternating automata.
    3. Complementation constructions.
  3. Applications of omega-automata.
    1. Monadic second order logic on strings.
    2. Linear temporal logic model checking.
  4. Automata on infinite trees. Applications to CTL and Mu calculus model checking.
  5. Two person infinite games on graphs.
    1. Safety and reachability games.
    2. Parity games.
  6. Decidability of monadic second order logic with k successors (S2S).
  7. Probabilistic models. Markov decision processes and two-person zero sum games.
  8. Quantitative mu calculus and solutions to quantitative omega-regular games.