Safety verification for ROS software - Santos, André Filipe Faria (2021)
Tese de doutoramento em Informática