User menu

PDVer, a Tool to Verify PDDL Planning Domains

Bibliographic reference Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. PDVer, a Tool to Verify PDDL Planning Domains.Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems (Thessaloniki, Greece, du 20/09/2009 au 20/09/2009).
Permanent URL http://hdl.handle.net/2078.1/79737