Browsing Engineering (Faculty of) by Subject "Satisfiability Modulo Theories"
Now showing items 1-1 of 1
-
Robotic Path Planning for High-Level Tasks in Discrete Environments
(University of Waterloo, 2018-04-10)This thesis proposes two techniques for solving high-level multi-robot motion planning problems with discrete environments. We focus on an important class of problems that require an allocation of spatially distributed ...