上CORA swMATH ID: 25660 软件作者： 贝尔曼，格尔德；金·古德斯特兰·拉森 描述： UPPAAL CORA是作为VHS和AMETIST项目的一部分，由UPAAL团队开发的UPPAAL-成本最优可达性分析的一个分支。UPPAAL使用时间自动机作为建模语言，UPPAALCORA使用线性定价时间自动机（LPTA）。在给定LPTA模型的情况下，UPPAAL CORA可以找到到达满足某些目标条件的状态的最佳路径。这里的最优是指累积成本最低的路径。UPPAAL CORA为UPPAAL-建模语言提供了许多扩展，使用户可以向工具传递有关模型的更多信息，从而提高UPPAAL-CORA的性能。特别是，可以用达到满足目标条件的状态所需的剩余成本估算来注释模型。这可以大大减少找到好的或最佳解决方案所需的时间。 主页： http://people.cs.aau.dk/~adavid/cora/introduction.html 依赖项： UPPAAL公司 相关软件： Uppaal公司;克洛诺斯;Verics公司;GEZEL公司;兔子;TAPAAL公司;罗密欧;高超声速;自旋蛋白;电动机;MoDeST公司;CMC公司;Uppaal2k公司 引用于： 9文件 更多出版物： http://people.cs.aau.dk/~adavid/cora/publications.html 全部的 前5名22位作者引用 5 金·古德斯特兰·拉森 2 帕特里夏·鲍耶 2 雅各布·伊勒姆拉斯穆森 1 格德·贝尔曼 1 托马斯·布里海耶 1 Fabrice骑士 1 曼弗雷德·德罗斯特 1 朱汉·厄尼茨 1 乌里·法伦贝格 1 杰佩·Höiris Mortensen 1 彼得·格约尔·詹森 1 安德烈·基维里加 1 拉杰什·库马尔 1 尼古拉斯·马基 1 阿德里亚娜·米亚契卡 1 乌尔里克·尼曼 1 乔尔·欧·瓦克宁。 1 卡琳·夸斯 1 埃诺·鲁伊特斯 1 玛丽·斯托琳加 1 克里希纳·苏布拉马尼 1 詹姆斯·沃雷尔。 4篇连载文章中引用 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 系统设计中的形式化方法 1 北欧计算机杂志 在3个字段中引用 9 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文