@Article{abraham_et_al:DagRep.7.2.48,
author = {Abraham, Erika and Kress-Gazit, Hadas and Natale, Lorenzo and Tacchella, Armando},
title = {{Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)}},
pages = {48--63},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {2},
editor = {Abraham, Erika and Kress-Gazit, Hadas and Natale, Lorenzo and Tacchella, Armando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.48},
URN = {urn:nbn:de:0030-drops-73527},
doi = {10.4230/DagRep.7.2.48},
annote = {Keywords: analysis, artificial intelligence, autonomous systems, computer-aided software development, domain-specific languages, formal methods, model-driven software engineering, robotics, safety, synthesis, testing, verification}
}