11.930 Advanced Seminar on Planning Theory