Taming Numbers and Durations in the Model Checking Integrated Planning System

30 June 2011

Papers citing "Taming Numbers and Durations in the Model Checking Integrated Planning System"

2 / 2 papers shown

Title
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains M. Fox D. Long 72 2,168 0 22 Jun 2011
The FF Planning System: Fast Plan Generation Through Heuristic Search Jörg Hoffmann Bernhard Nebel 74 2,352 0 03 Jun 2011