DagRep.7.2.48.pdf
- Filesize: 0.84 MB
- 15 pages
Document
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 7, Issue 2
Volume: Dagstuhl Reports, Volume 7
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2017-09-08
Cite As Get BibTex
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)
https://doi.org/10.4230/DagRep.7.2.48
Abstract
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.
Subject Classification
Keywords
- analysis
- artificial intelligence
- autonomous systems
- computer-aided software development
- domain-specific languages
- formal methods
- model-driven software engineering
- robotics
- safety
- synthesis
- testing
- verification
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads