Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)

Authors Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.7.2.48.pdf
  • Filesize: 0.84 MB
  • 15 pages

Document Identifiers

Author Details

Erika Abraham
Hadas Kress-Gazit
Lorenzo Natale
Armando Tacchella
and all authors of the abstracts in this report

Cite AsGet 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.
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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail