VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

251-1422-00L 5 Credits BSC , DS , MSC D-INFK

Playing Games: Infinite Games in Computer Science

Lecturers & Examiners: PD Dr. Ralf Küsters
VVZ CR n/a

Last Updated: 2026-02-05 15:19:51

Abstract

Infinite games, i.e., games that never end, are a usefultool in many areas of computer science, such as security,hardware and software verification as well as logic. Inthis class, we study such games and their applications inthe different areas of computer science.

General Information

Language
English
Levels
BSC , DS , MSC
Frequency
Yearly recurring

Examination

Type
end-of-semester examination

Course Components

Type Title Time & Place Hours
lecture Playing Games: Infinite Games in Computer Science
  • Tue 09:15-11:00 (IFW B 42)
2 h weekly
exercise Playing Games: Infinite Games in Computer Science
  • Tue 11:15-12:00 (IFW B 42)
1 h weekly

Offered In