2026-07-26T02:11:18Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2947 2024-03-06T11:09:30Z ddc:004 open_access

10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Havelund, Klaus Leucker, Martin Sachenbacher, Martin Sokolsky, Oleg Williams, Brian C. Runtime Verification Model-based Diagnosis Planning Control Autonomous Systems 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams 2011 Is Part Of Dagstuhl Seminar Proceedings, Volume 10451, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.10451.2 urn:nbn:de:0030-drops-29476 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10451.2 eng https://creativecommons.org/licenses/by/4.0/legalcode