Research Associates Marie Farrell and Matt Luckcuck are giving a tutorial, based on their paper Formal Specification and Verification of Autonomous Robotic Systems: A Survey, at the Spring School at the University of York, UK. The Spring School has been organised by the CyPhyAssure project, which is involved in developing methods for the compositional assurance of autonomous robots.
In the 45 minute tutorial, Marie and Matt will discuss the challenges of current robotic systems and the formal approaches in use to tackle those challenges. Their survey paper covers the last 10 years of formal methods and robotics research, giving a snapshot of the state-of-the-art.
Exact topics covered in the tutorial are still under discussion, but will likely focus on tackling big challenges in robotics (e.g. modelling the robot’s environment and capturing explainable autonomy) and the number of disparate approaches to formal verification of robotic systems.