DagSemProc.10451.2.pdf
- Filesize: 176 kB
- 4 pages
Document
10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 10451
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2011-02-21
Cite AsGet BibTex
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams. 10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. In Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Dagstuhl Seminar Proceedings, Volume 10451, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/DagSemProc.10451.2
https://doi.org/10.4230/DagSemProc.10451.2
Abstract
From November 7 to 12, 2010, the Dagstuhl Seminar 10451 'Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems' was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This document puts together abstracts of the presentations given during the seminar, and provides links to extended abstracts or full papers, if available.
Keywords
- Runtime Verification
- Model-based Diagnosis
- Planning
- Control
- Autonomous Systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads