Configurable Planning and Scheduling Systems - The Robotics Institute Carnegie Mellon University