Second Workshop on Formal Methods for Autonomous Systems

This workshop is concerned with the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part. Submissions may focus on case studies that identify the challenges for formal methods in this area, or experience reports that provide guidelines for tackling these challenges.


UK-built rover landing on Martian surface moves one giant fall closer

The two parachutes that will safely deliver the UK’s first ever Mars vehicle to the Red Planet have completed their first full-scale high altitude drop test.