Assumptions in Synthesis : An Approach to Multi-Agent Planning from Spatio-Temporal Specifications
Context-aware anchoring, semantic mapping and active perception for mobile robots
Virtual Partial Reconfiguration Framework for the Digilent Nexys 3 Board
Multimodal Planning under Uncertainty: Task-Motion Planning and Collision Avoidance