Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Keyphrases

Publications

2010

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)

volume 10451, 2010

Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010 Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 10451 (2010)