Questions about Automated planning and scheduling

Short answers, pulled from the story.

What year did the STRIPS planning system introduce action names ordered in a sequence for robot execution?

The year 1971 marked a turning point when the STRIPS planning system introduced action names ordered in a sequence for robot execution. This early framework defined the simplest possible planning problem known as Classical Planning Problem.

When did Michael L. Littman show that branching actions made planning problems EXPTIME-complete?

Michael L. Littman showed in 1998 that branching actions made planning problems EXPTIME-complete. These mathematical bounds defined the theoretical limits of what algorithms could achieve under varying conditions.

Which systems did the Hubble Space Telescope utilize for short-term and long-term planning?

The Hubble Space Telescope utilized short-term systems called SPSS alongside long-term planning frameworks named Spike. Autonomous robots and unmanned vehicles executed strategies discovered through multidimensional space optimization processes.

Who demonstrated that conformant planning problems reached EXPSPACE-complete status when initial situations remained uncertain?

Haslum and Jonsson demonstrated that conformant planning problems reached EXPSPACE-complete status when initial situations remained uncertain. Non-determinism in action outcomes pushed complexity further to 2EXPTIME-complete levels.