Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
Erika Ábrahám, Hadas Kress‐Gazit, Lorenzo Natale, Armando Tacchella · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017
This report documents the program and the outcomes of Dagstuhl Seminar 17071 "Computer-Assisted Engineering for Robotics and Autonomous Systems". This seminar brought together researchers from three distinct communities -- Robotics, Model-driven Software Engineering, and Formal Methods -- to discuss the path towards creating safe and verifiable autonomous systems.