Topic outline

  • General

  • Lectures

    • File icon
      Week 4: determinisation of parity games File
      Not available unless: Your Email address is not empty
    • File icon
      Week 5 - tree automata File
      Not available unless: Your Email address is not empty
    • File icon
      1. Lectures in Game Theory for Computer Scientists, Krzysztof Apt, Erich Gradel File
      Not available unless: Your Email address is not empty
    • File icon
      2. Automata, Logics, and Infinite Games: A Guide to Current Research, Erich Gradel, Wolfgang Thomas File
      Not available unless: Your Email address is not empty
    • File icon
      3. Logic and Automata: History and Perspectives, Jörg Flum, Erich Grädel, Thomas Wilke et al. File
      Not available unless: Your Email address is not empty
    • File icon
      4. Automata, Logic and Games, C.-H. L. Ong File
      Not available unless: Your Email address is not empty
    • Book icon
      6. Principles of Model Checking, Christel Baier and Joost-Pieter Katoen Book
      Not available unless: Your Email address is not empty
    • File icon
      7. Graph Games and Reactive Synthesis, Roderick Bloem, Krishnendu Chatterjee, and Barbara Jobstmann File
      Not available unless: Your Email address is not empty
  • Exercises