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.
RT @Lanespace: Can’t wait. Debate how to be more agile deploying smart machines with researchers who develop them! @EDINrobotics @HeriotWat…
04 December 2020
RT @ORCA_Hub: Next Wednesday (9th Dec) join the ISCF think-In hosted by @ORCA_Hub Director Prof. David Lane (@Lanespace). Join the discuss…
04 December 2020
Event: ISCF Cross Hub webinar on smart machines in hazardous environments - asking "Is rapid design, development an… https://t.co/1FGL3B2nBk
04 December 2020
UK-built rover landing on Martian surface moves one giant fall closer via @spacegovuk https://t.co/t3RboU3Ucz #SpaceRobotics
04 December 2020
