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

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

J. A. DeCastro and Kress-Gazit, H., Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.

Pages

Subscribe to Verifiable Robotics Research Group RSS