Published in: Dagstuhl Reports, Volume 7, Issue 2 (2017)
Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, and Armando Tacchella. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). In Dagstuhl Reports, Volume 7, Issue 2, pp. 48-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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} }
Feedback for Dagstuhl Publishing