Publications
Kinodynamic Planning with mu-Calculus Specifications. Applied Mathematics. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13818
. (2018). Sampling-Based Motion Planning with mu-Calculus Specifications without Steering. International Conference on Robotics and Automation. Retrieved from https://ieeexplore.ieee.org/abstract/document/8460769
. (2018).