A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)
On safety assessment of automated driving systems using simulation-based testing and formal methods
Assumptions in Synthesis : An Approach to Multi-Agent Planning from Spatio-Temporal Specifications
Auction-Based Task Allocation and Motion Planning for Multi-Robot Systems with Human Supervision
Interactive robot teaching based on finger trajectory using multimodal RGB-D-T-data