LTL2BA

快速LTL到Büchi自动机翻译。本文提出了一种由线性时间逻辑(LTL)公式生成Büchi自动机的算法。该算法以广义Büchi自动机为中间步骤,生成一个非常弱的交替co-Büchi自动机,然后将其转化为Büchi自动机。为了节省内存和时间,每台自动机都在运行中得到简化。像往常一样,我们在任何处理之前都简化了LTL公式。我们实现了该算法,并将其与Spin进行了比较:实验表明,我们的算法比Spin算法的效率高很多。比较的标准是结果自动机的大小、计算时间和使用的内存。我们的实现可通过以下地址在web上获得:http://verif.liafa.jussieu.fr/ltl2ba。


zbMATH中的参考文献(参考文献99篇文章)

显示第1到第20个结果,共99个。
按年份排序(引用)
  1. 布拉胡德,弗兰蒂舍克;少校,朱拉杰;Strejček,一月:LTL到具有通用接受和返回的自循环交替自动机(2020年)
  2. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;多时相博弈分析与自动分析(迈克尔·伍尔德里奇2020)
  3. 克鲁兹,马吕斯;马胡拉,克里斯蒂安:基于LTL规范和Petri网模型的机器人团队路径规划(2020)
  4. 克莱门特,洛伦佐;Mayr,Richard:不确定性自动机的有效缩减及其在语言包含测试中的应用(2019)
  5. 迪米特罗娃,雷娜;芬克贝纳,伯纳德;托法,哈泽姆:欧米茄正则语言的近似自动机(2019)
  6. 洛丁,克里斯托夫;安东·皮罗戈夫:《确定比奇自动机的新优化和启发式方法》(2019)
  7. 赵亮;王小兵;段振华:投影时序逻辑下推系统的模型检验(2019)
  8. 比兹德克,彼得;贝尼什,尼古拉;乔纳,伊凡娜;Barnat,Jiří:时间自动机的时钟感知LTL参数综合(2018)
  9. 布洛姆,罗德里克;查特吉,克莉什南杜;Jobstmann,Barbara:图形游戏和反应合成(2018)
  10. 布拉德菲尔德,朱利安;Walukiewicz,Igor:mu演算与模型检验(2018)
  11. Kupferman,Orna:自动机理论与模型检验(2018)
  12. 费蒙维尔,彼得;Zimmermann,Martin:参数线性动态逻辑(2017)
  13. 哈特谢恩雷特,丽莎;Peñaloza,Rafael:目标导向方法的自动机观点(2017)
  14. 多田、高石;上野,Atsushi;岛川,Masaya;Hagihara,Shigeki;Yonezaki,Naoki:考虑最大可实现性的无红花LTL合成(2017)
  15. 乌内尔,古莱;托曼,大卫:基于自动机的决策过程的逻辑编程方法(2017)
  16. 段振华;田聪;张楠:基于规范形式的命题投影时序逻辑决策过程与模型检验方法(2016)
  17. 埃斯帕扎,哈维尔;Křetínský,一月;所罗门:从LTL到确定性自动机。无红花成分法(2016)
  18. 莫尔纳,文斯;Vörös,安德鲁斯;达沃斯,达尼尔;芭莎,塔玛斯;Majzik,István:组件增量LTL模型检查(2016)
  19. Unel,Gulay:用逻辑编程对一元二阶逻辑进行增量推理(2016)
  20. 杨,范;杨国武;郝玉杰:基于模型检验的量子密码协议窃听方法建模库(2016)