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 Takipçi

1,1K Takip Edilen

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

4 months ago

The invited talks from #FMAS2023 can be found on FME YouTube channel: buff.ly/uTJ5ZBQ Talks: - "Formal methods within the TAS Governance node" by Alice Miller - "SMT: Something you Must Try" by Erika Ábrahám (joint with iFM)