Localized Planning for Parallel Domains Using Temporal Logic Constraints

Information

  • NSF Award
  • 9096196
Owner
  • Award Id
    9096196
  • Award Effective Date
    4/9/1990 - 34 years ago
  • Award Expiration Date
    4/30/1991 - 33 years ago
  • Award Amount
    $ 37,000.00
  • Award Instrument
    Standard Grant

Localized Planning for Parallel Domains Using Temporal Logic Constraints

  • Program Officer
    Howard Moraff
  • Min Amd Letter Date
    4/9/1990 - 34 years ago
  • Max Amd Letter Date
    12/20/1990 - 33 years ago
  • ARRA Amount

Institutions

  • Name
    Sterling Federal Systems Inc
  • City
    Palo Alto
  • State
    CA
  • Country
    United States
  • Address
    1121 San Antonio Road
  • Postal Code
    943034311

Investigators

  • First Name
    Amy
  • Last Name
    Lansky
  • Start Date
    4/9/1990 12:00:00 AM

FOA Information

  • Name
    Other Applications NEC
  • Code
    99
  • Name
    Computer Science & Engineering
  • Code
    31

Program Element

  • Text
    ARTIFICIAL INTELL & COGNIT SCI
  • Code
    6856