Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence A Comprehensive Approach to On-Board Autonomy Verification and Validation ∗

This work proposes a comprehensive approach to on-board autonomy that relies on model-based reasoning, and considers many important reasoning capabilities such as plan generation, validation, execution and monitoring, runtime diagnosis, and fault detection, identification, and recovery.