Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
- Abraham, Erika
- Kress-Gazit, Hadas
- Natale, Lorenzo
- Tacchella, Armando
Publication date
January 2017
DOI Publisher
Dagstuhl Reports. Dagstuhl Reports, Volume 7, Issue 2Abstract
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
Add to ORKG