PDVer公司 swMATH ID: 47059 软件作者： 莱蒙迪，F。；佩彻，C。；G.布拉特。 描述： PDVer，用于验证PDDL规划域的工具。我们提出了一种方法和工具，用于测试和验证PDDL规划域是否满足一组要求，例如在太空任务中出现的要求。我们首先回顾和分析基于需求的测试的覆盖条件，并介绍如何从需求中自动派生测试用例。此外，我们还展示了如何将测试用例转化为额外的规划目标。为了自动化这个过程，我们引入了PDVer，这是一个Eclipse插件，用于根据LTL表示的需求自动生成PDDL代码。我们在第五届国际规划竞赛（IPC-5）中评估了我们的方法的有效性和我们的工具在路虎领域的可用性 主页： https://lvl.info.ucl.ac.be/Publications/PDVerAToolToVerifyPDDLPlanningDomains网站 关键词： 规划;PDDL公司;要求;测试;长期贷款，;主题报道 相关软件： 高尔夫;Java路径查找器;Uppaal公司 引用于： 2文件 3位作者引用 1 丹尼斯，路易斯·阿比盖尔 1 沈玉萍 1 赵西顺 连载1篇 1 科学中国。信息科学 在2个字段中引用 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文