Browsing University of Waterloo by Subject "infinite game"
Now showing items 1-2 of 2
-
Control of Non-deterministic Transition Systems for Linear Temporal Logic Specifications
(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
(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 ...