• Graphplan

  • Referenced in 183 articles [sw07746]
  • analyzing a compact structure we call a planning graph. We describe a new planner, Graphplan ... Graphplan always returns a shortest possible partial-order plan, or states that no valid plan ... partial-order planner, UCPOP, on a variety of interesting natural and artificial planning problems...
  • BLAST

  • Referenced in 128 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SPIN

  • Referenced in 721 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Uppaal

  • Referenced in 647 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms...
  • Prodigy

  • Referenced in 36 articles [sw20686]
  • PRODIGY 4.0: The Manual and Tutorial. PRODIGY is...
  • UCPOP

  • Referenced in 39 articles [sw20687]
  • The UCPOP Planner. Note: UCPOP is an aging...
  • VHPOP

  • Referenced in 11 articles [sw20688]
  • VHPOP: Versatile heuristic partial order planner. VHPOP is...