UPMurphi公司 swMATH ID: 27481 软件作者： Penna，G.D.，Intrigila，B.，Magazzeni，D.，Mercorio，F 描述： UPMurphi：PDDL+问题通用规划工具。Universal Planner Murphi支持对带有过程和事件的线性和非线性连续PDDL+模型进行规划和通用规划。UPMurphi还支持定时初始文字和定时初始流。UPMurphi基于离散和验证方法，设计用于自动与VAL计划验证器接口。 主页： http://people.disim.univaq.it/~dellapenna/content.php？页面=upmurphi 源代码： https://github.com/gdellapenna/UPMurphi网站 相关软件： 科林；斯科特；PESSOA公司；SCIP计划；TensorFlow公司；SCIP公司；PDDL公司；高超声速；VHPOP（VHPOP）；Uppaal公司 引用于： 2文件 全部的 前5名6位作者引用 1 科尔斯，A.I。 1 科尔斯，A.J。 1 玛丽亚·福克斯 1 长，德里克 1 斯科特·桑纳 1 喂，巴斯尔 连载1篇 1 人工智能研究杂志 在2个字段中引用 2 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 按年份列出的引文