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
524 Takipçi
1,1K Takip Edilen
Another paper from our special issue with Science of Computer Programming is live! "Towards partial monitoring: Never too early to give in" by Angelo Ferrando ( Angelo Ferrando ) and Rafael Cardoso (friends of the workshop 😉 ) Available to read at: sciencedirect.com/science/articl…