NASA Logo, National Aeronautics and Space Administration

Google Scholar Profile

2014

  • Parametrized Families of Hard Planning Problems from Phase Transitions. Eleanor Rieffel, Davide Venturelli, Minh Do, Itay Hen and Jeremy Frank. To appear in the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14).
  • Intelligent UAS Sense-and-Avoid Utilizing Global Constraints. Javier Barreiro, Minh Do, and David Smith. To appear in the 8th International Scheduling and Planning Applications woRKshop (SPARK'2014).
  • Integrating System Health Management and Planning & Scheduling to Determine & Recover from System Failure Effects. Paul Morris, Minh Do, Robert McCann, Liljana Spirkovska, Mark Schwabacher and Jeremy Frank. To appear in the SystemDemo program at ICAPS'2014.

2013

  • Synthesizing Robust Plans under Incomplete Domain Models . Tuan Nguyen, Subbarao Kambhampati, and Minh Do. In Proc. of Neural Information Processing Systems (NIPS) 2013
  • Heuristic Search When Time Matters . Ethan Burns, Wheeler Ruml, and Minh Do. Journal of Artificial Intelligence Research. Vol 47. Pages 697-740
  • On-Line Reconfigurable Machines . Lara S. Crawford, Minh Binh Do, Wheeler Ruml, Haitham Hindi, Craig Eldershaw, Rong Zhou, Lukas Kuhn, Markus P.J. Fromherz, David Biegelsen, Johan de Kleer, Daniel Larner. To appear in the AI Magazine.
  • Synthesizing Fractionated Spacecraft Designs as a Planning Problem . Minh Do, Martin Feather, David Garcia, Kenneth Hicks, Eric Huang, Dave Kluck, Ryan Mackey, Tuan Nguyen, Jami Shah, Yorgos Stylianos, Raffi Tikidjian, Serdar Uckun, Zihan Zhang, Rong Zhou. In Proc. of the 7th Scheduling and Planning Applications woRKshop (SPARK-2013), 2013.
  • BlocksWorld: An iPad Puzzle Game. Minh Do and Minh Tran. In Proc. of Planning in Games Workshop at ICAPS'13, 2013.

2012

  • Planning with Partial Preference Models . Tuan Nguyen, Minh Do, Alfonso Gerevini, Ivan Serina, Biplav Srivastava, and Subbarao Kambhampati. In Artificial Intelligence Journal. Vol 190. Pages 1-31.
  • Anticipatory On-line Planning. Ethan Burns, J. Benton, Wheeler Ruml, Minh Do, and SungWook Yoon. In Proc. Of the 22nd International Conference on Automated Planning and Scheduling (ICAPS-12), 2012.
  • EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization. Javier Barreiro, Matthew Boyce, Minh Do, Jeremy Frank, Michael Iatauro, Tatiana Kichkaylo, Paul Morris, James Ong, Emilio Remolina, Tristan Smith, and David Smith. In Proc. of 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS), 2012.

2011

  • On-line Planning and Scheduling: An Application to Controlling Modular Printers . Wheeler Rum, Minh Do, Rong Zhou, and Markus Fromherz. Journal of Artificial Intelligence Research (JAIR), Volume 40, Pages 415-468, 2011.
  • Online Planning for a Material Control System for Liquid Crystal Display Manufacturing. Minh Do, Kazumichi Okajima, Serdar Uckun, Fumio Hasegawa, Yukihiro Kawano, Koji Tanaka, Lara Crawford, Ying Zhang, and AkiOhashi. In Proc. of the 21st International Conference on Automated Planning and Scheduling (ICAPS-11), 2011.
  • Online Planning to Control a Packaging Infeed System. Minh Do, Lawrence Lee, Rong Zhou, Lara Crawford. In Proc. of the Twenty-Third Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-11), 2011.
  • Integrated Parallel Printing Systems with Hypermodular Architecture. David Biegelsen, Lara Crawford, Minh Do, Dave Duff, Craig Eldershaw, Markus Fromherz, Haitham Hindi, Greg Kott, Dan Larner, Barry Mandel, Steve Moore, Bryan Preas, Wheeler Ruml, Greg Schmitz, Lars Swartz, Rong Zhou. In Proc. of IS&T-SPIE Conference on Electronic Imaging, Symposium on Parallel Processing for Imaging Applications, 2011.
  • Timeline-based Planning System for Manufacturing Applications. Minh Do and Serdar Uckun. In Proc. of Artificial Intelligence and Logistics Workshop (AILog), IJCAI-11, 2011.
  • Synthesizing Robust Plans under Incomplete Domain Models. Tuan A. Nguyen, Subbarao Kambhampati, and Minh B. Do. In Proc. of Generalized Planning Workshop (GenPlan), AAAI-11, 2011.
  • Scheduling Print Jobs in Lean Document Production (LDP) Toolkit. Rong Zhou, Sudhendu Rai, Minh Do. In Proc. of System Demo Track, ICAPS-11, 2011.

2010

  • Pervasive Diagnosis. Lukas Kuhn, Bob Price, Minh Do, Juan Liu, Rong Zhou, Tim Schmidt and Johan de Kleer. In IEEE SMC Transactions on Model-Based Diagnosis, 2010.
  • Improving Determinization in Hindsight for Probabilistic Planning. Sungwook Yoon, J. Benton, Minh Do and Wheeler Rum. In Proc. of the 20th International Conference on Automated Planning and Scheduling (ICAPS-10), 2010.
  • Online Planning to Control a Packaging Infeed System. Minh Do, Lawrence Lee, and Rong Zhou. In Proc. of Scheduling and Planning Application Workshop (SPARK-10) at ICAPS-10, 2010.
  • Assessing and Generating Robust Plans with Partial Domain Models. Tuan A. Nguyen, Subbarao Kambhampati, and Minh Do. In Planning & Scheduling under Uncertainty Workshop at ICAPS-2010.
  • Edge Partitioning in Parallel Structured Duplicate Detection. Rong Zhou, Tim Schmidt, Eric Hansen, Minh Do and Serdar Uckun. In Proc. of The 3rd Annual Symposium on Combinatorial Search, 2010.
  • Continual On-Line Planning as Decision-Theoretic Incremental Search. Seth Lemon, J. Benton, Wheeler Ruml, Minh Do, SungWook Yoon. AAAI Symp. on Embedded Reasoning System, 2010.

2009

  • Anytime Heuristic Search for Partial Satisfaction Planning. J. Benton, Minh B. Do, and Subbarao Kambhampati. In Artificial Intelligence Journal (AIJ), 173 (2009) p.562-592.
  • Planning with Partial Preference. Tuan Nguyen, Minh B. Do, Subbarao Kambhampati, and Biplav Srivastava. In Proc. of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09).
  • Continuously Estimating Persistent and Intermittent Failure Probabilities. Johan de Kleer, Lukas Kuhn, Juan Liu, Bob Price, Minh Do, and Rong Zhou: SAFE PROCESS 09.

2008

  • Planning for Modular Printers: Beyond Productivity. Minh B. Do, Wheeler Ruml, and Rong Zhou. In Proc. of the 18th International Conference on Automated Planning and Scheduling (ICAPS08).
  • On-line Planning and Scheduling: An Application to Controlling Modular Printers. Minh B. Do, Wheeler Ruml, and Rong Zhou. In the Proc. of 23rd AAAI Conference on Artificial Intelligence (AAAI08), NECTAR Track.
  • Pervasive Diagnosis: the Integration of Active Diagnosis into Production Plans. Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, and Rong Zhou. In the Proc. of 23rd AAAI Conference on Artificial Intelligence (AAAI08), Integrated Intelligent System Track.
  • On-line Anticipatory Planning. Allen Hubbe, Wheeler Ruml, Sungwook Yoon, J. Benton, Minh B. Do. In Workshop on A Reality Check for Planning and Scheduling Under Uncertainty, ICAPS08.
  • Heuristic Search for Target-Value Path Problem. Lukas Kuhn, Tim Schmidt, Bob Price, Johan de Kleer, Rong Zhou, and Minh Do. In the Proc. of 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (STAIR-08).
  • A Framework for Continuously Estimating Persistent and Intermittent Failure Probabilities. Johan de Kleer, Bob Price, Lukas Kuhn, Minh Do, and Rong Zhou. In Proc. of The 19th International Workshop on Principles of Diagnosis (DX-08).
  • Pervasive Diagnosis: the Integration of Active Diagnosis into Production Plans. Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, and Rong Zhou. In Proc. of The 19th International Workshop on Principles of Diagnosis (DX-08).
  • Beyond Planning for Productivity. Minh B. Do, Rong Zhou, and Wheeler Ruml. In Proc. of the 2nd XIG Conference, 2008.
  • Adaptive Production Strategy . Lukas Kuhn, Johan de Kleer, Robert Price, Minh Do, Rong Zhou. In Proc. of 2nd XIG Conference, 2008.

2007

  • Planning with Goal Utility Dependencies. Minh B. Do, J. Benton, Subbarao Kambhampati, and Menkes van den Briel. In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.
  • Best-first Utility-guided Search. Wheeler Ruml and Minh B. Do. In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.
  • Domain Independent Approaches for Finding Diverse Plans. Biplav Srivastava, Subbarao Kambhampati, Tuan Nguyen, Minh B. Do, Alfonso Gerevini, Ivan Serina. In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.
  • Decompose Document Image Using Integer Linear Programming. Yizhou Wang, Dashan Gao, Haitham Hindi, and Minh B. Do. In Proc. of 9th International Conference on Document Analysis and Recognition (ICDAR), 2007.
  • A Simple Testbed for On-line Planning. J. Benton, Minh B. Do, Wheeler Ruml. In Proc. of ICAPS'07 Workshop on Moving Planning and Scheduling Systems into the Real World, 2007

2006

  • Beyond Scheduling: Using On-line Planning to Control Printers. Minh B. Do, Wheeler Ruml, Rong Zhou. In Proc. of the 1st Annual XIG Research and Technology Conference, 2006.
  • Lessons Learned in Applying Domain-Independent Planning to High-Speed Manufacturing. Minh Do and Wheeler Ruml. In Proc. of the 16th International Conference on Automated Planning and Scheduling (ICAPS), 2006, poster paper.
  • Planning with Goal Utility Dependencies. Minh B. Do, J. Benton, and Subbarao Kambhampati. In Proc. of Workshop on Preferences and Soft Constraints, ICAPS 2006.
  • Finding Inter-Related Plans. Biplav Srivastava, Subbarao Kambhampati, Minh B. Do, & Tuan A. Nguyen. In Proc. of Workshop on Plan Analysis and Management, ICAPS, 2006.
  • YochanPS: PDDL3 Simple Preferences as Partial Satisfaction Planning. J. Benton, Subbarao Kambhampati, & Minh B. Do. In The Fifth International Planning Competition Booklet, 2006.

2005

  • Over-subscription Planning with Metric Goals. J. Benton, Minh B. Do, & Subbarao Kambhampati. In Proc. of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005.
  • On-line Planning and Scheduling for High-speed Manufacturing. Wheeler Ruml, Minh B. Do, & Markus Fromherz. In Proc. of the 15th International Conference on Automated Planning and Scheduling (ICAPS), 2005. (Best Application Paper Award)

2004

  • Effective Approaches for Partial Satisfaction (Over-Subscription) Planning. Menkes van den Briel, Romeo Sanchez, Minh B. Do, and Subbarao Kambhampati. In Proc. of Nineteenth National Conference on Artificial Intelligence (AAAI), 2004.
  • Partial Satisfaction (Over-Subscription) Planning as Heuristic Search. Minh B. Do and Subbarao Kambhampati. In Proc. of the Fifth International Conferences on Knowledge-Based Computer Systems (KBCS), 2004
  • Planning-Scheduling Connections through Exogenous Events. In Proc. of Workshop on Integrating Planning into Scheduling (WIPIS), ICAPS 2004.

2003

  • SAPA: A Multi-Objective Metric Temporal Planner. Minh B. Do and Subbarao Kambhampati. Journal of Artificial Intelligence Research, 20 (p.155-194), 2003. Special Issue on the Third International Planning Competition.
  • Improving the Temporal Flexibility of Position Constrained Metric Temporal Plans. Minh B. Do and Subbarao Kambhampati. In Proc. of the 13th International Conference on Artificial Intelligence Planning and Scheduling (ICAPS), 2003.
  • The Inspection of Metric-Temporal Plans within the SAPA Planning Framework. Daniel Bryce, Minh B. Do, & Subbarao Kambhampati. In Proc. of the ICAPS-2003 Software Demonstration, 2003.

2002

  • Planning Graph-based Heuristics for Cost-sensitive Temporal Planning. Minh B. Do and Subbarao Kambhampati. In Proc. of the Sixth International Conference on Artificial Intelligence Planning & Scheduling (AIPS), p.3-12, 2002.
  • Improving the Temporal Flexibility of Position Constrained Metric Temporal Plans. Minh B. Do & Subbarao Kambhampati. In Proc. of AIPS-2002 Temporal Planning Workshop, 2002.

2001

  • Planning as Constraint Satisfaction: Solving the Planning Graph by Compiling it into CSP. Minh B. Do and Subbarao Kambhampati. Artificial Intelligence Journal, 132 (p.151-182), 2001.
  • Planning the Project Management Way: Efficient Planning by Effective Integration of Causal and Resource Reasoning in RealPlan. Biplav Srivastava, Subbarao Kambhampati, and Minh B. Do. Artificial Intelligence Journal, 131 (p.73-134), 2001.
  • AltAlt: Combining Graphplan and Heuristic State Search. Biplav Srivastava, XuanLong Nguyen, Subbarao Kambhampati, Minh B. Do, Ullas Nambiar, Zaiqing Nie, Romeo Nigenda, and Terry Zimmerman. Artificial Intelligence Magazine 22(3) (p.88-90), 2001.
  • SAPA: A Domain-Independent Heuristic Metric Temporal Planner. Minh B. Do and Subbarao Kambhampati. In Proc. of the European Conference on Planning (ECP), 2001.
  • Loosely Coupled Architecture to Integrate Planning and Scheduling Systems. Minh B. Do, Biplav Srivastava, and Subbarao Kambhampati. In IJCAI-01Workshop on Planning with Resource, 2001.

2000

  • Solving the Planning Graph by Compiling it to CSP. Minh B. Do and Subbarao Kambhampati. In Proc. of the Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS), p.82-91, 2000. (ICAPS-10’s Most Influential Paper Award, Runner-up)
  • Investigating the Effects of Relevance and Reachability Constraints in SAT Encoding of Planning. Minh B. Do, Biplav Srivastava, and Subbarao Kambhampati. In Proc. of the Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS), p.308-314, 2000.
  • On the Use of LP Relaxation in Solving SAT Encoding of Planning Problems. Minh B. Do and Subbarao Kambhampati. In Proc. of AAAI-2000 Workshop on the Integration of AI and OR, 2000.

First Gov logo
NASA Logo - nasa.gov