UPPAAL TIGA公司 swMATH ID: 12913 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 描述： UPPAAL TIGA（图1）是UPPAAL[BDL04]的一个扩展，它实现了第一个基于时间游戏自动机求解游戏的高效实时算法，涉及可达性和安全属性。虽然时间游戏长期以来都被认为是可以判定的，但迄今为止，还缺乏有效的、真正的实时分析算法。我们提出的算法[CDFLL05]是Liu&Smolka[LS98]提出的有限状态系统线性时间模型检查在线算法的符号扩展。在实际应用中，符号算法可能在探索整个状态空间之前很久就终止了。此外，通过使用所谓的区域作为底层数据结构，可以有效地执行算法的各个步骤。我们的工具实现了对基本符号算法的各种优化，以及获得时间最优获胜策略（用于可达性游戏）的方法。 主页： http://people.cs.aau.dk/~adavid/tiga/ 依赖项： Uppaal公司 相关软件： Uppaal公司；棱镜；辛西娅；克洛诺斯；高超声速；PRISM-游戏；PHAVer公司；CMC公司；相思树+；兔子；ECDAR公司；github；重新校准；NuSMV公司；Simulink公司；迪维尼；MRMC公司；PPL（公私合营）；自旋蛋白；TINA公司 引用于： 47文件 全部的 前5名被105位作者引用 14 金·古德斯特兰·拉森 7 亚历山大·戴维 6 帕特里夏·鲍耶 6 Legay、Axel 6 莱姆，迪迪埃 6 安德烈·索夫斯基 5 尼古拉斯·马基 4 弗兰克·卡塞兹 4 让-弗朗索瓦·拉斯金 4 奥利维尔·H·鲁克斯。 三 朱尔根·丁格尔 三 乌里·法伦贝格 三 Forejt，Vojtěch公司 三 Kwiatkowska，Marta Z。 三 格钦·诺曼 三 乌尔里克·尼曼 三 皮埃尔·阿莱·雷尼尔 三 鲁迪、凯伦 三 Waez，Md Tawhid Bin 2 罗曼·布伦吉尔 2 彼得·布利切夫（Peter E.Bulychev）。 2 阿列克桑德拉·乔瓦诺维奇。 2 汉斯·约格·彼得 2 吉·斯尔巴 2 Jeroen P.M.Voeten。 1 乔瓦尼·巴奇 1 David A.Basin。 1 吐温·巴斯滕 1 杰恩·卢克·贝切内克 1 Bérard，Béatrice公司 1 马尔塞洛·玛丽亚·贝尔萨尼 1 Nathalie Bertrand 1 蒂莫西·布鲁克 1 克里斯蒂安·巴克尔 1 陈明帅 1 陈韬略 1 Cheng，Chih-Hong先生 1 亚历山德罗·西马蒂 1 朱塞佩·德拉·佩纳 1 克劳斯·阿格博士 1 罗尔夫·德雷克斯勒 1 玛丽·杜弗洛特 1 吕迪格·埃勒斯 1 方慧星 1 伯恩德·芬克贝纳 1 马丁·范策尔 1 道格拉斯·弗雷泽 1 保罗·加斯丁 1 马克·盖伦 1 鲁本·贾昆塔 1 谢尔盖·哈达德 1 弗雷德里克·赫布雷托 1 鲁思·霍夫曼 1 弗朗索瓦·赫布利特 1 卢克·亨斯伯格 1 贝内代托·恩特里吉拉 1 爱尔兰，穆雷 1 彼得·格约尔·詹森 1 Jan J.杰森。 1 阿洛伊斯·克诺尔。 1 Sr Djan Krstić 1 帕斯卡·拉福卡德 1 李广元 1 李杨佳 1 丹尼尔·马加泽尼 1 鲁帕克·马朱姆达尔 1 罗伯特·马特米勒 1 伊戈尔·梅拉蒂 1 克劳迪奥·蒙吉 1 安德烈亚·米凯利 1 马吕斯·米库西奥尼斯 1 爱丽丝·安·米勒 1 小米、劳瑞 1 穆罕默德·阿里雷扎 1 彼得·莫萨德（Peter N.Mosaad）。 1 帕特里齐奥·佩利奇奥内 1 尼古拉斯·佩林 1 苏菲·平奇纳特 1 罗伯托·波塞纳托 1 波托普·布图卡鲁，玛丽亚·格拉迪纳利 1 Jean-Baptiste Raclet女士 1 加布里埃尔·雷诺 1 米歇尔·阿德里安 1 马泰奥·罗西。 1 马可·罗维里 1 哈拉尔德街 1 奥坎·桑库尔 1 拉蒙·希夫勒 1 菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 1 西马提斯，艾斯蒂斯 1 马蒂奥·索尔多 1 杰里米·斯普洛斯顿 1 巴拉古鲁·斯里瓦桑 1 雅各布·哈哈尔·塔安克维斯特 1 蒂埃里·米格，Yann 1 克劳斯·苏兰（Claus R.Thrane）。 1 塞巴斯蒂安·蒂谢尔 1 路易斯·马里·特劳努埃兹 1 阿舒托什·特里维迪 1 恩里科·特隆西 …还有5位作者 全部的 前5名12篇连载文章中引用 4 离散事件动态系统 三 信息学报 三 计算的形式方面 2 理论计算机科学 1 国际控制杂志 1 计算机程序设计科学 1 实时系统 1 分布式计算 1 系统设计中的形式化方法 1 欧洲控制杂志 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名在8个字段中引用 42 计算机科学（68至XX） 18 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 17 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文