PDVer, a Tool to Verify PDDL Planning Domains

TitlePDVer, a Tool to Verify PDDL Planning Domains
Publication TypeConference Paper
Year of Publication2009
AuthorsRaimondi, F, Pecheur C, Brat G
Conference NameProceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, Thessaloniki, Greece
URLhttp://lvl.info.ucl.ac.be/Publications/PDVerAToolToVerifyPDDLPlanningDomains