This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Formal Methods for Autonomous Systems
fmasworkshop.bsky.social
did:plc:r5hemjb6jdpy6a2lvj7ynijh
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck