×

反链

swMATH ID: 20208
软件作者: De Wulf M、Doyen L、Henzinger TA、Raskin JF
描述: 反链:一种检查有限自动机通用性的新算法。我们提出并评估了一种检查非确定性有限自动机普遍性的新算法。与使用子集构造显式确定自动机的标准算法相比,我们保留了隐式确定步骤。我们的算法计算状态集反链格上单调函数的最小不动点。我们使用Tabakov和Vardi最近提出的随机自动机模型对算法的性能进行了实验评估。我们表明,在这种概率模型的困难情况下,反链算法比标准算法的性能好几个数量级。我们还展示了如何使用反链方法的变体来解决非确定性有限自动机的语言包含问题,以及交替有限自动机中的空性问题。
主页: http://link.springer.com/chapter/10.1007/11817963_5
相关软件: 莫纳;臀部;自旋;github;LTL2BA公司;快速的;幻灯片;相思树+;检查围栏;REGAL公司;CUDD公司;欧米茄+;现场;山核桃;FMona公司;FDR3公司;数学SAT5;z3(零3);爆破;毒蛇
引用于: 34文件
全部的 前5名

80位作者引用

7 Jean-François拉斯金
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 Nathalie Bertrand
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 Moshe Ya’akov瓦尔迪
1 Tim A.C.Willemse。
1 埃兰·雅哈夫
1 Yang,宏石

按年份列出的引文