"A Summary of Formal Specification and Verification of Autonomous Robotic Systems" By @MattLuckcuck, @farrell_marie, @louiseadennis, Clare Dixon, and Michael Fisher (2019) #FormalMethods #ifm2019 @iFMconf
621 followers
221 followers
Interactive Visualization of Saturation Attempts in Vampire https://t.co/V7Me3aisGB
72 followers
RT @MattLuckcuck: Our #NewPaper "A Summary of Formal Specification and Verification of Autonomous Robotic Systems" is finally 'real' :https…
804 followers
RT @MattLuckcuck: Our #NewPaper "A Summary of Formal Specification and Verification of Autonomous Robotic Systems" is finally 'real' :https…