Logical and Computational Aspects of Infinite Games

    • 1 Ph.D. thesis

    Search results

    • 2016

      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
      699 Downloads (Pure)