Course Syllabus 2013/2014
 
PDF Extract Anglais
Français
index
Module : IF318
Title :
Games and controller synthesis
Number of hours :
Lecture : 24.00 h
Tutorial classes : 24.00 h
ECTS credits :
6.00
Evaluation :
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
Teacher(s) :
GIMBERT Hugo
DICKY Anne
MUSCHOLL Anca - Responsible
Shared by UV(s) :
Level :
third year module
Abstract :
Goals: Introduce the interplay between controller synthesis, fixpoint computation and game theory.
Plan :
Controller synthesis, games on finite graphs, temporal logics for the specification (LTL, CTL), fixpoints and modal calculs, stochastic games.
Prerequisite :
Logic (IF105) and automata (IF114)