645 followers Masaki Waga @MasWag “ROSRV: Runtime Verification for Robots” https://t.co/sm3doUYpyz 07 Oct 2016 Reply Repost Favourite