Tematyka

  • Sekcja ogólna

  • Lectures

    • Plik ikona
      Week 4: determinisation of parity games Plik
      Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
    • Plik ikona
      Week 5 - tree automata Plik
      Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
    • Plik ikona
      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
    • Plik ikona
      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
    • Plik ikona
      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
    • Plik ikona
      4. Automata, Logic and Games, C.-H. L. Ong Plik
      Niedostępne, chyba że: Pole E-mail w profilu użytkownika nie jest puste
    • Książka ikona
      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
    • Plik ikona
      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
  • Exercises