FMASWorkshop (@fmasworkshop) 's Twitter Profile
FMASWorkshop

@fmasworkshop

Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Tweets by @MattLuckcuck

ID: 1366319829385416704

linkhttps://fmasworkshop.github.io/ calendar_today01-03-2021 09:30:14

1,1K Tweet

524 Followers

1,1K Following

FMASWorkshop (@fmasworkshop) 's Twitter Profile Photo
FMASWorkshop
@fmasworkshop

5 months ago

What better way to start the week than reminiscing about #FMAS2021 talks! Watch the talks again on YouTube: buff.ly/5Pflkvg - Help or Hazard: Towards Verifying Autonomous Robot Systems by Clare Dixon - Understanding and Verifying Deep Neural Networks by Divya Gopinath