Logical and Computational Aspects of Infinite Games

    Project Details

    StatusFinished
    Effective start/end date01/05/2013 → 23/11/2016

    Funding

    • Technical University of Denmark

    Fingerprint

    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.
    View full fingerprint
    • 1 Ph.D. thesis

    • Game-based verification and synthesis

      Vester, S., 2016, Kgs. Lyngby: Technical University of Denmark. 203 p. (DTU Compute PHD-2016; No. 414).

      Research output: Book/Report › Ph.D. thesis

      Open Access
      File
      864 Downloads (Orbit)