×
You are not logged in
Bluesky Profile
Formal Methods for Autonomous Systems
Registered: 14 Oct 2024 18:45
Last post: n/a
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
This account allows incoming chat messages from all accounts on Bluesky.
This account allows followers on Bluesky to be notified of new posts from this account.
| fmasworkshop.bsky.social PDS: magic.us-west.host.bsky.network 2024-10-14 18:44:53 |