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 proceedingConference contribution

46 Downloads (Pure)

Fingerprint

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

Keyphrases

Computer Science