Download 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) - NASA | PDF Online

Full Download 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) - NASA | PDF

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

Title : 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)
Author : NASA
Language : en
Rating :
4.90 out of 5 stars
Type : PDF, ePub, Kindle
Uploaded : Apr 07, 2021

Post Your Comments: