Now showing items 1-2 of 2

    • Control of Non-deterministic Transition Systems for Linear Temporal Logic Specifications 

      Sun, Zhibing (University of Waterloo, 2021-02-01)
      Consider the formal synthesis problem in the continuous dynamical systems. A systematic approach is the abstraction-based method: constructing an abstraction of the original continuous system in the discrete space, and ...
    • Super Ordinary 

      Lee, John Jeong-Bum (University of Waterloo, 2011-04-21)
      Ordinary life oscillates between dichotomies: from work to leisure, from reality to fantasy, from private to public. These are distinct worlds that bring order to the chaos of experience; their boundaries contain what ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages