10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Klaus HavelundMartin LeuckerMartin SachenbacherOleg SokolskyBrian C. WilliamsPublished in: Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (2010)