FMASWorkshop
@fmasworkshop
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Tweets by @MattLuckcuck
ID: 1366319829385416704
https://fmasworkshop.github.io/ 01-03-2021 09:30:14
1,1K Tweet
548 Followers
1,1K Following
Presenting our recent work on analyzing reinforcement learning policies at Formal Methods 2024 in Milano! Come say hi if you’re attending/in the city!
Marta Kwiatkowska kicks off Formal Methods 2024 in Milan with a keynote on adversarial robustness certification Formal Methods Europe
In the opening keynote of the FM symposium, Marta Kwiatkowska argues that formal methods can help provide provable guarantees is high-stake AI/ML applications. #FM24 Formal Methods 2024 Formal Methods Europe