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
Reinforcement learning based traffic optimization at an intersection with GLOSA
A Graphical User Interface for the Hybrid Control of Multi-Robot Systems under Linear Temporal Logic