OBDD-based Deterministic Planning using the UMOP Planning Framework

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review


Model checking representation and search techniques were recently shown to be efficiently applicable to planning. Ordered Binary Decision Diagrams (OBDDs) encode a planning domain as a finite transition system and fast algorithms from model checking search for a solution plan. With proper encodings, OBDDs can effectively scale and can provide plans for complex planning domains. In this paper, we present. results obtained in classical deterministic domains using UMOP, a new universal OBDD-based planning framework applicable to non-deterministic and multi-agent domains. A key difference between UMOP and previous OBDD-based planning systems is that the OBDD encoding of planning problems is partitioned. This representation is known from model checking to scale up the problem size that. can be handled (Ranjan et al., 1995). Experimental results from the strips track of the ATPS’98 planning competition show that this is also the case for OBDD-based planning. The results further indicate that UMOP is an efficient deterministic planning system.
Original languageEnglish
Title of host publicationProceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning
Number of pages6
Publication date2000
Publication statusPublished - 2000
Externally publishedYes


  • Model Checking
  • Ordered Binary Decision Diagrams
  • Finite Transition System
  • Non-Deterministic Planning
  • Multi-Agent Systems


Dive into the research topics of 'OBDD-based Deterministic Planning using the UMOP Planning Framework'. Together they form a unique fingerprint.

Cite this