"Robotics and Integrated Formal Methods: Necessity Meets Opportunity" By @farrell_marie, @MattLuckcuck, and Michael Fisher (2018) #FormalMethods @RAIN_hub @FAIR_SPACE_Hub @ORCA_Hub @iFMconf #ifm2018
623 followers
72 followers
RT @LivUni_AVLab: Position paper "Robotics and Integrated Formal Methods: Necessity meets Opportunity" (https://t.co/5fsVZ6SOMo) : https:/…
623 followers
Position paper "Robotics and Integrated Formal Methods: Necessity meets Opportunity" (https://t.co/5fsVZ6SOMo) : https://t.co/JvYGs2qG8x It discusses the surveys early results with iFM in mind Also with @farrell_marie , Louise A. Dennis, Clare Dixon, an
271,551 followers
RT @MattLuckcuck: Celebrating a little success today! #ecrChat #phdChat #AcWri https://t.co/dyzac6dLuF