Towards a Verifiable Toolchain for Robotics

  • Charlie Street
  • , Yazz Warsame
  • , Masoumeh Mansouri
  • , Michaela Klauck
  • , Christian Henkel
  • , Marco Lampacrescia
  • , Matteo Palmas
  • , Ralph Lange
  • , Enrico Ghiorzi
  • , Armando Tacchella
  • , Razane Azrou
  • , Raphaël Lallement
  • , Matteo Morelli
  • , Ginny I. Chen
  • , Danielle Wallis
  • , Stefano Bernagozzi
  • , Stefano Rosa
  • , Marco Randazzo
  • , Sofia Faraci
  • , Lorenzo Natale

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

131 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Towards a Verifiable Toolchain for Robotics'. Together they form a unique fingerprint.

Keyphrases

Computer Science