![](https://rainhub.org.uk/wp-content/uploads/2021/11/FMAS-Panel-Session.png)
Formal methods in Autonomous Systems Workshop
Dr Matt Luckcuck and Prof. Michael Fisher, in collaboration with Dr Marie Farrell from the FAIR-SPACE Hub, organised an academic workshop on the robust verification
Dr Matt Luckcuck and Prof. Michael Fisher, in collaboration with Dr Marie Farrell from the FAIR-SPACE Hub, organised an academic workshop on the robust verification
We uses cookies to ensure you get the best experience on our website.