UPPAAL TIGA公司 swMATH编号: 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公司;Acacia公司+;兔子;ECDAR公司;github;重新校准;NuSMV公司;Simulink公司;迪维尼;MRMC公司;应用程序;自旋蛋白;TINA公司 引用于: 47文件 全部的 前5名105位作者引用 14 金·古德斯特兰·拉森 7 大卫,亚历山大 6 帕特里夏·布耶 6 Legay、Axel 6 莱姆,迪迪埃 6 安德烈·索夫斯基 5 尼古拉斯·马基 4 弗兰克·卡塞兹 4 Jean-François拉斯金 4 奥利维尔·H·鲁克斯。 3 朱尔根·丁格尔 3 乌里·法伦贝格 3 Forejt,Vojtěch公司 3 Marta Z.Kwiatkowska。 3 格钦·诺曼 3 乌尔里克·尼曼 3 皮埃尔·阿莱·雷尼尔 3 鲁迪、凯伦 3 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 贝拉德,贝特里奇 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 Alireza Mohamadkhani 1 彼得·莫萨德(Peter N.Mosaad)。 1 帕特里齐奥·佩利奇奥内 1 尼古拉斯·佩林 1 苏菲·平奇纳特 1 罗伯托·波塞纳托 1 波托普·布图卡鲁,玛丽亚·格拉迪纳利 1 Jean-Baptiste Raclet女士 1 加布里埃尔·雷诺 1 米歇尔·阿德里安·雷尼尔 1 罗西(Matteo A.C.Rossi)。 1 马可·罗维里 1 哈拉尔德街 1 奥坎桑库尔 1 拉蒙·希夫勒 1 菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) 1 西马提斯,艾斯蒂斯 1 马蒂奥·索尔多 1 杰里米·斯普洛斯顿 1 巴拉古鲁·斯里瓦桑 1 雅各布·哈哈尔·塔安克维斯特 1 蒂里·米格(Yann Thierry-Mieg) 1 克劳斯·苏兰(Claus R.Thrane)。 1 塞巴斯蒂安·蒂谢尔 1 路易斯·马里·特劳努埃兹 1 阿舒托什·特里维迪 1 恩里科·特隆西 …还有5位作者 全部的 前5名12篇连载文章中引用 4 离散事件动态系统 3 信息学报 3 计算的形式方面 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) 按年份列出的引文