Solving the AI Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)

By: NASA, National Aeronautics and Space Administration

This paper describes a translator from a new planning language named the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) model checker. This translator has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats (SAVH) project sponsored by the Exploration Technology Development Program, which is seeking to mature autonomy technology for the vehicles and operations centers of Project Constellation. NASA/TM-2007-215089, L-19395 Butler, Ricky W. and Munoz, Cesar A. and Siminiceanu, Radu I. Langley Research Center

• Format: Paperback
• Language: English
• ISBN: 1794048081
• ISBN13: 9781794048089
• Release Date: January 2019
• Publisher: Independently Published
• Length: 47 Pages
• Weight: 0.04 lbs.
• Dimensions: 0.1" x 8.5" x 11.0"