Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle

Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots


Subscribe to Verifiable Robotics Research Group RSS