Jeux, synthèse et contrôle

Informations

Langue d'enseignement : Anglais
Crédits ECTS: 6

Programme

  • Heures d'enseignement dispensées à l'étudiant : 48 heures
  • Temps de travail personnel : 102 heures

Objectifs et compétences

Objectifs :
Le cours est une introduction à la théorie des jeux pour la vérification et la synthèse de systèmes. On y aborde différents types de jeux : jeux à deux joueurs sur des graphes finis, jeux stochastiques, jeux distribués, jeux multi-joueurs.

---

This course is an introduction to game theory applied to systems verification and synthesis. We present various types of games: two player games on finite graphs, stochastic games, distributed games, and multi-player games.

Compétences :
  • Être initié au processus de production, de diffusion et de valorisation des connaissances.

  • Savoir se remettre en question, faire preuve d'esprit critique
  • Construire et développer une argumentation.
  • Savoir construire et rédiger un état de l'art

  • Connaître et mettre en application les principaux modèles mathématiques intervenant dans les différentes disciplines connexes du domaine Sciences et Technologies mais aussi des autres domaines
  • Maîtriser les bases de la logique et organiser un raisonnement mathématique.
  • Concevoir des algorithmes avancés dans son domaine de spécialisation, et savoir les programmer
  • Comprendre et traduire sous forme algorithmique la spécification mathématique d'une méthode de son domaine de spécialisation

Organisation pédagogique

le mode de fonctionnement de l'UE est présenté au début des enseignements

Contrôle des connaissances

Session 1:

Contrôle continu coefficient 0.5

Examen terminal (durée 3h, coefficient 0.5)

Seconde session:

épreuve écrite (3h) ou orale selon effectif, coeff. 0.5

Report de la note de contrôle continu, coeff. 0.5

Note finale session 2: max(NoteEx2, 0.5*NoteEx2 + 0.5*NoteCC)

Lectures recommandées

l'ensemble des références bibliographiques est communiqué au début des enseignements

Responsable de l'unité d'enseignement

Anca Muscholl

Enseignants

la composition de l'ensemble de l'équipe pédagogique est communiquée au début des enseignements