- UK-RAS Network
- Robotics Week
- #111 (no title)
- Robot Talk
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.
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.