#Formalmethods

[thread] Hey Universe Retweet! I'm REMARO, a new @MSCActions Network on Reliable #AI for Marine #Robotics. This is an official inauguration of both my website (http://remaro.eu ) and my twitter account.