ResearchTrend.AI
Taming Numbers and Durations in the Model Checking Integrated Planning System

Taming Numbers and Durations in the Model Checking Integrated Planning System

Stefan Edelkamp
ArXivPDFHTML

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
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
M. Fox
D. Long
70
2,168
0
22 Jun 2011
The FF Planning System: Fast Plan Generation Through Heuristic Search
The FF Planning System: Fast Plan Generation Through Heuristic Search
Jörg Hoffmann
Bernhard Nebel
74
2,352
0
03 Jun 2011