Biplav__Srivastava
A structured approach for synthesizing planners from specifications
Planning the Project Management Way: Efficient Planning by Effective Integration of Causal and Resource Reasoning in RealPlan
RealPlan: Decoupling causal and resource reasoning in planning
Scaling up Planning by teasing out Resource Scheduling
Synthesizing customized planners from specifications