Lecture in the winter term 2018/2019
- Theory of stochastic games
- Complexity of reachability games
- Markov chains and Markov decision processes
- Concurrent stochastic games
This course is only addressed to M.Sc. students. Note That B.Sc. students can not take part in this course.
Knowledge of automata theory as presented in basic courses is required for participation.
The course will be held in English.
There will be non-mandatory weekly exercise sets.
The exercise sheets will be released on Wednesdays and can be handed in before the exercise class on Wednesday one week later.
There will be oral exams. The exact modalities of the exams will be announced later in L2P.