Module : IF318Title :
Games and controller synthesis
Number of hours :
Lecture : 24.00 h
ECTS credits :
Tutorial classes : 24.00 h
S1: ET(3h,E,sd,sc) x0.5 + CC x0.5;
S2: ET(30m,O,sd,sc) x0.5 + rep(CC S1) x0.5 Detail of the nomenclature used for the creation of the evaluation code
Shared by UV(s) :
MUSCHOLL Anca - Responsible
third year module
Goals: Introduce the interplay between controller synthesis, fixpoint computation and game theory.
Controller synthesis, games on finite graphs, temporal logics for the specification (LTL, CTL), fixpoints and modal calculs, stochastic games.
Logic (IF105) and automata (IF114)