Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System

  • Stefan Edelkamp
  • Published 2002 in AIPS Workshop on Planning for Temporal Domains


The paper considers the extensions to the domainindependent Model Checking Integrated Planning System (MIPS) to pre-processes and solve mixed propositional and numerical planning problems in PDDL+ syntax for the 3rd international planning competition. The static analyzer grounds all predicates and functors, distinguishes constant from fluent atoms and… (More)

1 Figure or Table


  • Presentations referencing similar topics