Robotics and Autonomous Systems Series
Combining formal verification and testing for robotic systems on the ORCA project
25th September 2019, 13:00
Xingyu Zhao
Heriot Watt University
Abstract
Xingyu will be talking to us about combining formal verification and testing for robotic systems on the ORCA project
Additional Materials
Maintained by Matt webster