WorkWander.tech
WorkWander.tech

From Imitation to Certification: Learning, Reasoning, and Formal Methods for Safe Robot Manipulation

From Imitation to Certification: Learning, Reasoning, and Formal Methods for Safe Robot Manipulation

In conjunction with
Robotics: Science and Systems 2026
July 13-17, 2026
University of Technology Sydney
Sydney, Australia

Robotics Autonomous Systems Machine Learning AI

Brings together researchers from imitation learning, AI, control theory, and formal verification to address safety and trustworthiness in robotic manipulation. Focuses on integrating demonstration-driven learning, reasoning with large models, and formal guarantees to develop manipulation systems that are both capable and verifiably safe.

  For more information, visit the workshop website

More workshops at Robotics: Science and Systems 2026