You are not logged in
Bluesky Followers
@
uolcomputing.bsky.social
Followers of @uolcomputing.bsky.social
Formal Methods for Autonomous Systems
Registered:14 Oct 2024 18:45
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Skeets by Matt Luckcuck & Akhila Bairy Website: https://fmasworkshop.github.io
Josh Cooper
Registered:17 Oct 2024 09:09
Software Dev / Robot Babysitter - he/him