Assumptions in Synthesis : An Approach to Multi-Agent Planning from Spatio-Temporal Specifications
Hybrid Continuous-Time Deep Neural Networks for Robot System Identification and Control
Multimodal Planning under Uncertainty: Task-Motion Planning and Collision Avoidance