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.