Combining formal verification and testing for robotic systems on the ORCA project

25^th 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

• https://orcahub.org/