Simply a Game: Model Checking and Games
Schedule
- Seminar (Prof. Dr. Stefan Leue)
- Thursday 13:30 - 15:00 Room PZ 901
- Contact: Alina Bey
The first session, 14th of April, is mandatory for every student who wants to give a talk!
Topics:
Topics marked in red are already chosen by a student.
Provided links may only work inside the University or via VPN.
Introduction to Game Theory
Discrete Games
- Game solving and NuSMV with NuGAT
- Checking realizability of and synthesizing strategies for generalized reactivity specifications with gr1
- Synthesize reactive designs from multi-paradigm specifications written in an extension of Promela for open systems
Full LTL Games
- LTL Realizability check & winning strategy synthesis with Acacia+
- Algorithmic games used in verification and synthesis using GAVS+
- The GASt platform (various topics)
Parity Game Solvers
- PGSolver Tools for generating, manipulating and solving parity games
- PDSolver Evaluating both mu-calculus formulas over pushdown systems and pushdown parity games
Quantitative Games
- mpg-solver Mean-payoff game solver
- Solving probabilistic games with w-regular objectives qualitatively with GIST
Hybrid Games
- Receding Horizon Temporal Logic Planning Toolbox (TuLiP)
- Designing, testing and implementing hybrid controllers generated automatically from task specifications written in Structured English or Temporal Logic (LTLMoP and SLURP)
- Synthesis of correct-by-design embedded control software based on approximate bisimulations with PESSOA
Contracts
- More topics if necessary
Participants
- Master students
- Bachelor students > 3. semester
Subject Area
Informatik der Systeme / Angewandte Informatik
Contents
All materials are available through the Ilias-Website.
Registration is done using your university e-mail account.
The password will be presented in the first session on April 16th.
Credit Requirements
- 30 Minutes Presentation + 15 Minutes Discussion
- Written report (8-10 pages)
- Presence and active participation during the presentations of the other students.
- The language for the presentation will be English.
2 SWS
4 ECTS-Points.