Logical and Computational Aspects of Infinite Games

  • Vester, Steen (PhD Student)
  • Hansen, Michael Reichhardt (Main Supervisor)
  • Goranko, Valentin (Supervisor)
  • Witt, Carsten (Examiner)
  • Guldstrand Larsen, Kim (Examiner)
  • Olderog, Ernest-RĂ¼diger (Examiner)


    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

    Engineering & Materials Science