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 National Aeronautics and Space Adm Nasa

0 ratings • 0 reviews • 0 shelved
Book cover for 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)
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1794048081
  • ISBN13 9781794048089
  • Publish Date 14 January 2019
  • Publish Status Temporarily Withdrawn
  • Imprint Independently Published
  • Format Paperback (US Trade)
  • Pages 48
  • Language English