2026-08-10T14:16:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7352 2024-03-06T10:26:43Z ddc:004 open_access

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071) Abraham, Erika Kress-Gazit, Hadas Natale, Lorenzo Tacchella, Armando analysis artificial intelligence autonomous systems computer-aided software development domain-specific languages formal methods model-driven software engineering robotics safety synthesis testing verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Erika Abraham and Hadas Kress-Gazit and Lorenzo Natale and Armando Tacchella 2017 Is Part Of Dagstuhl Reports, Volume 7, Issue 2 (2017) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.7.2.48 urn:nbn:de:0030-drops-73527 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.48 eng https://creativecommons.org/licenses/by/3.0/legalcode