TY  - SER
AU  - Rajan, Kanna
AU  - Muscettola, Nicola
AU  - Chien, Steve
TI  - Automated Planning and Scheduling  for  Goal-Based Autonomous Spacecraft
ER  -