Dagstuhl Seminar Proceedings 10451

Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

K. Havelund, M. Leucker, M. Sachenbacher, O. Sokolsky, B. C. Williams (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 10451, 07.11. - 12.11.2010
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Havelund, Klaus
  • Leucker, Martin
  • Sachenbacher, Martin
  • Sokolsky, Oleg
  • Williams, Brian C.

  •   
    10451 Abstracts Collection -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
    Authors: Havelund, Klaus ; Leucker, Martin ; Sachenbacher, Martin ; Sokolsky, Oleg ; Williams, Brian C.

    Abstract | Document (274 KB) | BibTeX

    10451 Executive Summary -- Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
    Authors: Havelund, Klaus ; Leucker, Martin ; Sachenbacher, Martin ; Sokolsky, Oleg ; Williams, Brian C.

    Abstract | Document (176 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI