Browsing Mathematics (Faculty of) by Subject "FMT"
Now showing items 1-1 of 1
-
Kinodynamic Planning with μ-Calculus Specifications
(University of Waterloo, 2018-09-19)Motion planning problems involve determining appropriate control inputs to guide a system towards a desired endpoint. Sampling-based motion planning was developed as a technique for discretizing the state space of systems ...