Games, Automata, Logics, and Formal Verification

Tematyka

• Wybierz temat Sekcja ogólna

  Sekcja ogólna

  Zwiń wszystko Rozwiń wszystko
  • Wybierz aktywność Aktualności

    

    Aktualności Forum
  • Wybierz aktywność 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.

• Wybierz temat Lectures

  Lectures
  • Wybierz aktywność 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.

  • Wybierz aktywność Week 4: determinisation of parity games

    

    Week 4: determinisation of parity games Plik

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność Week 5 - tree automata

    

    Week 5 - tree automata Plik

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność Week 6 podcast

    

    Week 6 podcast Adres URL
  • Wybierz aktywność Week 7: mean-payoff games

    

    Week 7: mean-payoff games Plik
  • Wybierz aktywność Weeks 8-10: weighted automata

    

    Weeks 8-10: weighted automata Plik
  • Wybierz aktywność Week 11: probabilistic models

    

    Week 11: probabilistic models Plik
  • Wybierz aktywność Week 12: synthesis

    

    Week 12: synthesis Plik
  • Wybierz aktywność Week 13: synthesis tools

    

    Week 13: synthesis tools Plik
  • Wybierz aktywność Recommended reading:

    Recommended reading:

  • Wybierz aktywność 1. Lectures in Game Theory for Computer Scientists, Krzysztof Apt, Erich Gradel

    

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

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność 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 Plik

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność 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. Plik

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność 4. Automata, Logic and Games, C.-H. L. Ong

    

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

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność 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 Adres URL
  • Wybierz aktywność 6. Principles of Model Checking, Christel Baier and Joost-Pieter Katoen

    

    6. Principles of Model Checking, Christel Baier and Joost-Pieter Katoen Książka

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność 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 Plik

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
• Wybierz temat Exercises

  Exercises
  • Wybierz aktywność Week 2

    

    Week 2 Plik
  • Wybierz aktywność Week 3

    

    Week 3 Plik
  • Wybierz aktywność Week 4

    

    Week 4 Plik
  • Wybierz aktywność Week 5

    

    Week 5 Plik
  • Wybierz aktywność Week 6

    

    Week 6 Plik
  • Wybierz aktywność Week 7; deadline (EXTENDED): Apr 11, 11:11

    

    Week 7; deadline (EXTENDED): Apr 11, 11:11 Plik
  • Wybierz aktywność Solutions

    

    Solutions Zadanie

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

  • Wybierz aktywność Final results

    

    Final results Strona

    Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
  • Wybierz aktywność Week 8

    

    Week 8 Plik
  • Wybierz aktywność Week 9

    

    Week 9 Plik
  • Wybierz aktywność Week 10

    

    Week 10 Plik
  • Wybierz aktywność Week 11

    

    Week 11 Plik
  • Wybierz aktywność Week 12

    

    Week 12 Plik
  • Wybierz aktywność Week 14; Deadline: Jun 13, 13:13

    

    Week 14; Deadline: Jun 13, 13:13 Plik
  • Wybierz aktywność Test #1 to Excercise 3

    

    Test #1 to Excercise 3 Plik
  • Wybierz aktywność Test #2 to Excercise 3

    

    Test #2 to Excercise 3 Plik
  • Wybierz aktywność Solutions

    

    Solutions Zadanie

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