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 Aeronaut Administration (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.

  • ISBN13 9798673089255
  • Publish Date 7 August 2020
  • Publish Status Temporarily Withdrawn
  • Imprint Independently Published
  • Format Paperback (US Trade)
  • Pages 48
  • Language English