Games, Synthesis and Control | Course Jukebox

Course Detail

Degree: Master
Standard Academic Year: Semester 3
Course delivery methods: face-to-face
Subject: Computer Science
Program
School: College of Science and Technology
Department
Campus: Campus Talence
Classroom
Course Offering Year: 2022-2023
Course Offering Month: September - January
Weekday and Period
Capacity
Credits: 6 ECTS
Language: English
Course Number: 4TIN919U

Games, Synthesis and Control University of Bordeaux

Course Overview

This course offers students an introduction to game theory applied to
verification and controller synthesis.

Learning Achievement

Competence

Course prerequisites

- Level B2 CEFR in English
- Previous studies (Bachelor level) within the domain of computer
science or mathematics.

Grading Philosophy

Continuous assessment and final exam.

Course schedule

> Various types of games are presented:

- Two player games on finite graphs,

- Stochastic games,
- Distributed games, and

- Multi-playerames.

Course type

Lectures and practical work : 48 tutorial sessions.

Online Course Requirement

Instructor

Other information

Duration: 12 weeks

Language of instruction: English
Mode of delivery: Face-to-face teaching: tutorial sessions, practical work

Site for Inquiry

Please inquire about the courses at the address below.

Contact person: Anca Muscholl
anca.muscholl@u-bordeaux.fr