07.11.10 - 12.11.10, Seminar 10451
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Organizers
Klaus Havelund (Jet Propulsion Laboratory, US)
Martin Leucker (TU München, DE)
Martin Sachenbacher (TU München, DE)
Oleg Sokolsky (University of Pennsylvania, US)
Brian C. Williams (MIT - Cambridge, US)
For support, please contact
Marc Herbstritt for scientific aspects
Related Seminars
- 07011: "Runtime Verification " (2007)
Classification
- Artifical intelligence
- Robotics / data structures
- Algorithms
- Complexity / modelling
- Simulation / software engineering / verification
- Logic
Keywords
- Runtime Verification
- Model-based Diagnosis
- Planning
- Control
- Autonomous Systems
