Dagstuhl Seminar Proceedings, Volume 10451,

• Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams 10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 10.4230/DagSemProc.10451.1
• Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams 10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 10.4230/DagSemProc.10451.2