Assumptions in Synthesis : An Approach to Multi-Agent Planning from Spatio-Temporal Specifications
Context-aware anchoring, semantic mapping and active perception for mobile robots
Multimodal Planning under Uncertainty: Task-Motion Planning and Collision Avoidance
Virtual Partial Reconfiguration Framework for the Digilent Nexys 3 Board
Analytic Bipedal Walking with Fused Angles and Corrective Actions in the Tilt Phase Space