NASA Logo, National Aeronautics and Space Administration

Using Model Checking to Validate AI Planner Domain Models

Introduction

The problem is how to create a high-assurance autonomous system that achieves long life, limited access, is reactive and adaptive to its environment, able to process advanced algorithms, and is knowledge-based. Our approach is to separate algorithm verification from domain model validation.

References

John Penix, Charles Pecheur and Klaus Havelund, "Using Model Checking to Validate AI Planner Domain Models." in Proceedings of the 23rd Annual Software Engineering Workshop, NASA Goddard, December, 1998.
[papers (PostScript,368K),(PDF, 163K)]
[slides (PPT, 151K)]

Reviewed 2012



First Gov logo
NASA Logo - nasa.gov