Publications

PDVer, a Tool to Verify PDDL Planning Domains

Authors
Franco Raimondi, Charles Pecheur, Guillaume Brat
Tags
, , , , ,
Title
PDVer, a Tool to Verify PDDL Planning Domains
Authors
Franco Raimondi, Charles Pecheur, Guillaume Brat
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
Type
In Proceedings
Book title
Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, Thessaloniki, Greece
Year
2009

Abstract

We present a methodology and a tool for the problem of testing and verifying that a PDDL planning domain satisfies a set of requirements, a need that arises for instance in space missions. We first review and analyse coverage conditions for requirement-based testing, and present how test cases can be derived automatically from requirements. Additionally, we show how test cases can be translated into additional planning goals. To automate this process, we introduce PDVer, an Eclipse plug-in for the automatic generation of PDDL code from requirements expressed in LTL. We evaluate the effectiveness of our approach and the usability of our tool against the Rovers domain from the fifth International Planning Competition (IPC-5).

Tags Tags: , , , , ,

BibTeX Record
  @INPROCEEDINGS{lvl-2009-2,
    TITLE = {PDVer, a Tool to Verify PDDL Planning Domains},
    AUTHOR = {Franco Raimondi and Charles Pecheur and Guillaume Brat},
    YEAR = {2009},
    URL = {https://lvl.info.ucl.ac.be/Publications/PDVerAToolToVerifyPDDLPlanningDomains},
  }