反链 swMATH ID: 20208 软件作者: De Wulf M、Doyen L、Henzinger TA、Raskin JF 描述: 反链:一种检查有限自动机通用性的新算法。我们提出并评估了一种检查非确定性有限自动机普遍性的新算法。与使用子集构造显式确定自动机的标准算法相比,我们保留了隐式确定步骤。我们的算法计算状态集反链格上单调函数的最小不动点。我们使用Tabakov和Vardi最近提出的随机自动机模型对算法的性能进行了实验评估。我们表明,在这种概率模型的困难情况下,反链算法比标准算法的性能好几个数量级。我们还展示了如何使用反链方法的变体来解决非确定性有限自动机的语言包含问题,以及交替有限自动机中的空性问题。 主页: http://link.springer.com/chapter/10.1007/11817963_5 相关软件: MONA公司;HIP(热等静压);自旋蛋白;github;LTL2BA公司;快速;幻灯片;相思树+;检查围栏;REGAL公司;CUDD公司;欧米茄+;现场;山核桃;FMona公司;FDR3公司;数学SAT5;z3(零3);爆炸;毒蛇 引用于: 34文件 全部的 前5名80位作者引用 7 让-弗朗索瓦·拉斯金 5 托马斯·亨辛格(Thomas A.Henzinger)。 5 卢卡什·霍利克 5 汤姆·沃纳 三 皮埃尔·甘蒂 三 Ondřej Lengál 2 克里希南德·查特吉 2 洛伦佐·克莱门特 2 马丁·德·伍尔夫 2 劳伦特·多恩 2 汤姆·菲多尔 2 拉希德·格拉乌伊 2 海姆,皮尔雷·科里尔 2 尼古拉斯·梅奎特 2 理查德·梅尔(Richard M.Mayr)。 2 罗兰·梅耶 2 塞巴斯蒂安·穆斯卡拉 2 西里尔·尼科德 2 Damien Pous 2 施密茨,西尔万 2 瓦苏·辛格 1 帕罗什·阿齐兹·阿卜杜拉 1 纳塔莉·伯特兰 1 迪特马尔·伯旺格 1 亚伦·波希 1 保罗·布鲁内 1 维罗尼克·布鲁埃 1 乔恩,帕沃 1 玛莎·契契克 1 陈玉芳 1 克拉克(Edmund Melson jun Clarke)。 1 沃伊切赫,切尔文斯基 1 基韦利多佛里 1 亨宁费尔瑙 1 艾曼纽·菲利奥特 1 科里·费希尔 1 塞斯·福格蒂。 1 奥利弗·弗里德曼 1 吉勒·杰勒茨 1 卡洛·盖齐 1 乔·古森 1 Jan Friso,格鲁特 1 谢尔盖·哈达德 1 马修·黑格 1 沃伊特·哈夫勒纳 1 Chih-Duo洪 1 拉杜·奥西夫 1 巴特·雅各布斯 1 彼得·扬克 1 Jin、Naiyong 1 费利克斯·克莱特克 1 安德烈亚斯·克雷布斯 1 奎杰珀,沃特 1 丹尼斯·库珀伯格 1 马丁·兰格 1 萨沃米尔·拉索塔 1 莫里斯·拉维奥 1 马库斯·林德斯特罗姆 1 鲁帕克·马朱姆达尔 1 尼古拉斯·马佐奇 1 克劳迪奥·蒙吉 1 库马尔·纳拉扬。 1 希拉·佩勒 1 劳雷琳·皮诺 1 帕斯卡·波扎特 1 阿琼·拉德哈克利什纳 1 米凯尔·兰多尔 1 亚当·罗加列维奇 1 列奥尼德·雷日克 1 普拉卡什·塞瓦桑 1 萨曼塔(Samanta,Roopsha) 1 莎伦·肖姆 1 亚历山德拉·席尔瓦 1 鲍拉·斯波莱蒂尼 1 托尔斯滕·塔拉赫 1 范德波尔,扬·科内利斯 1 莫西·亚亚科夫·瓦尔迪 1 Tim A.C.Willemse。 1 埃兰·雅哈夫 1 杨红seok 全部的 前5名13篇连载文章中引用 4 信息学报 4 系统设计中的形式化方法 2 理论计算机科学 2 计算机科学中的逻辑方法 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 实时系统 1 分布式计算 1 计算机基础理论 1 ACM计算逻辑事务 1 算法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 33 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 范畴理论;同调代数(18-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文