Section: Embedded systems engineering
Principal supervisor: Michael Reichhardt Hansen
Co-supervisors:
Title of project: Logical and Computational Aspects of Infinite Games
Effective start/end date 01/05/2013 → 23/11/2016
Report published: Game-based verification and synthesis