Integrating Simulation and Verification to Assess Safety of Robot Control Software.

Marco Lampacrescia, Matteo Palmas, Enrico Ghiorzi, Christian Henkel, Michaela Klauck, Armando Tacchella

Browse the full ECMS paper archive.