Games, Automata, Logics, and Formal Verification

Topic outline

• Select topic General

  General

  Collapse all Expand all
  • Select activity Aktualności

    

    Aktualności Forum
  • Select activity Exam: Part I (written): June 7, 10-12, room 140. ...

    Exam:

    Part I (written): June 7, 10-12, room 140.

    Part II (oral): June 14, room 140, 10:15-12:15.

• Select topic Lectures

  Lectures
  • Select activity Diary Week 1: Omega-automata: Buechi, Muller, Rab...

    Diary

    Week 1: Omega-automata: Buechi, Muller, Rabin and Street acceptance condition, closure under union, intersection and complementation, proof that deterministic Buechi automata are weaker than non-deterministic ones, definition of regular expressions.

    Week 2: Proof that regular expressions, the logic S1S and Buechi automata are equivalent. Complexity of the emptiness and universality problems for Buechi automata.

    Week 3: Games: winning conditions, strategies, memoryless determinancy. Proof that reachability games are determined.

  • Select activity Week 4: determinisation of parity games

    

    Week 4: determinisation of parity games File

    Not available unless: Your Email address is not empty
  • Select activity Week 5 - tree automata

    

    Week 5 - tree automata File

    Not available unless: Your Email address is not empty
  • Select activity Week 6 podcast

    

    Week 6 podcast URL
  • Select activity Week 7: mean-payoff games

    

    Week 7: mean-payoff games File
  • Select activity Weeks 8-10: weighted automata

    

    Weeks 8-10: weighted automata File
  • Select activity Week 11: probabilistic models

    

    Week 11: probabilistic models File
  • Select activity Week 12: synthesis

    

    Week 12: synthesis File
  • Select activity Week 13: synthesis tools

    

    Week 13: synthesis tools File
  • Select activity Recommended reading:

    Recommended reading:

  • Select activity 1. Lectures in Game Theory for Computer Scientists, Krzysztof Apt, Erich Gradel

    

    1. Lectures in Game Theory for Computer Scientists, Krzysztof Apt, Erich Gradel File

    Not available unless: Your Email address is not empty
  • Select activity 2. Automata, Logics, and Infinite Games: A Guide to Current Research, Erich Gradel, Wolfgang Thomas

    

    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
  • Select activity 3. Logic and Automata: History and Perspectives, Jörg Flum, Erich Grädel, Thomas Wilke et al.

    

    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
  • Select activity 4. Automata, Logic and Games, C.-H. L. Ong

    

    4. Automata, Logic and Games, C.-H. L. Ong File

    Not available unless: Your Email address is not empty
  • Select activity 5. The complexity of mean payoff games on graphs, Uri Zwick and Mike Patersonb

    

    5. The complexity of mean payoff games on graphs, Uri Zwick and Mike Patersonb URL
  • Select activity 6. Principles of Model Checking, Christel Baier and Joost-Pieter Katoen

    

    6. Principles of Model Checking, Christel Baier and Joost-Pieter Katoen Book

    Not available unless: Your Email address is not empty
  • Select activity 7. Graph Games and Reactive Synthesis, Roderick Bloem, Krishnendu Chatterjee, and Barbara Jobstmann

    

    7. Graph Games and Reactive Synthesis, Roderick Bloem, Krishnendu Chatterjee, and Barbara Jobstmann File

    Not available unless: Your Email address is not empty
• Select topic Exercises

  Exercises
  • Select activity Week 2

    

    Week 2 File
  • Select activity Week 3

    

    Week 3 File
  • Select activity Week 4

    

    Week 4 File
  • Select activity Week 5

    

    Week 5 File
  • Select activity Week 6

    

    Week 6 File
  • Select activity Week 7; deadline (EXTENDED): Apr 11, 11:11

    

    Week 7; deadline (EXTENDED): Apr 11, 11:11 File
  • Select activity Solutions

    

    Solutions Assignment

    Send a txt file containing a link to a git repository or an archive if you hate git.

  • Select activity Final results

    

    Final results Page

    Not available unless: Your Email address is not empty
  • Select activity Week 8

    

    Week 8 File
  • Select activity Week 9

    

    Week 9 File
  • Select activity Week 10

    

    Week 10 File
  • Select activity Week 11

    

    Week 11 File
  • Select activity Week 12

    

    Week 12 File
  • Select activity Week 14; Deadline: Jun 13, 13:13

    

    Week 14; Deadline: Jun 13, 13:13 File
  • Select activity Test #1 to Excercise 3

    

    Test #1 to Excercise 3 File
  • Select activity Test #2 to Excercise 3

    

    Test #2 to Excercise 3 File
  • Select activity Solutions

    

    Solutions Assignment

    Send a txt file containing a link to a git repository or an archive if you hate git.