Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to t

By National Aeronautics and Space Administration

Technical Report Butler, Ricky W. and Munoz, Cesar A. and Siminiceanu, Radu I. Langley Research Center NASA/TM-2007-215089, L-19395 AUTONOMY; HABITATS; TRANSLATING; SCHEDULING; MODELS; CONSTELLATIONS

• Format: Paperback
• Language: English
• ISBN: B08F6X4RDW
• ISBN13: 9798673089255
• Release Date: January 1
• Publisher: Independently Published
• Length: 48 Pages
• Weight: 0.30 lbs.
• Dimensions: 0.1" x 8.5" x 11.0"