Configurable Planning and Scheduling Systems - Robotics Institute Carnegie Mellon University