PDVer, a tool to verify PDDL planning domains.
Conference paper
Raimondi, F., Pecheur, C. and Brat, G. 2009. PDVer, a tool to verify PDDL planning domains. ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems. Thessaloniki, Greece 20 Sep 2009
Type | Conference paper |
---|---|
Title | PDVer, a tool to verify PDDL planning domains. |
Authors | Raimondi, F., Pecheur, C. and Brat, G. |
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). |
Research Group | Foundations of Computing group |
SensoLab group | |
Artificial Intelligence group | |
Research Group on Development of Intelligent Environments | |
Conference | ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems |
Publication process dates | |
Deposited | 29 Apr 2010 |
Output status | Published |
Language | English |
File |
https://repository.mdx.ac.uk/item/829v4
Download files
71
total views27
total downloads2
views this month0
downloads this month