10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

2011/01/01 by Klaus Havelund, Martin Leucker, Havelund, Klaus +7
Computer Science · #Autonomous Systems #Control #Model-Driven Software Engineering Techniques #Model-based Diagnosis #Planning #Runtime Verification #Software Testing and Debugging Techniques

paper · doi:10.4230/dagsemproc.10451.1

openalex publication_date 2011/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• 10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
• 07011 Abstracts Collection – Runtime Verification
• 10111 Abstracts Collection – Practical Software Testing : Tool Automation and Human Factors
• 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems
• 10281 Abstracts Collection – Dynamically Reconfigurable Architectures