LTL2BA

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


zbMATH参考文献(99篇文章引用)

显示第1到第20个结果,共99个。
按年份排序(引用)
  1. Blahoudek,František;Major,Juraj;Strejček,Jan:LTL到具有通用接受和返回的自循环交替自动机(2020年)
  2. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  3. Kloetzer,Marius;Mahulea,Cristian:基于LTL规范和Petri网模型的机器人团队路径规划(2020)
  4. Clemente,Lorenzo;Mayr,Richard:非确定性自动机的有效约简及其在语言包含测试中的应用(2019)
  5. Dimitrova,Rayna;Finkbeiner,Bernd;Torfah,Hazem:欧米茄正则语言的近似自动机(2019)
  6. Löding,Christof;Pirogov,Anton:确定Büchi自动机的新优化和启发式方法(2019)
  7. 赵亮;王晓兵;段振华:投影时序逻辑下推系统的模型检验(2019)
  8. Bezděk,Peter;Beneš,Nikola;Ch erná,Ivana;Barnat,Jiří:基于时钟感知的时间自动机LTL参数综合(2018)
  9. Bloem,Roderick;Chatterjee,Krishnendu;Jobstmann,Barbara:图形游戏和反应合成(2018)
  10. Julian Bradfield;Walukiewicz,Igor:mu演算与模型检验(2018)
  11. Kupferman,Orna:自动机理论与模型检验(2018)
  12. Faymonville,Peter;Zimmermann,Martin:参数线性动态逻辑(2017)
  13. Hutschenreiter,Lisa;Peñaloza,Rafael:目标导向方法的自动机视角(2017)
  14. Tomita,Takashi;Ueno,Atsushi;Shimakawa,Masaya;Hagihara,Shigeki;Yonezaki,Naoki:考虑最大可实现性的无红花LTL合成(2017)
  15. Unel,Gulay;Toman,David:《基于自动机的决策过程的逻辑编程方法》(2017)
  16. 段振华;田聪;张楠:基于范式的命题投影时序逻辑决策过程与模型检验方法(2016)
  17. 埃斯帕扎,哈维尔;Křetínský,Jan;Sickert,所罗门:从LTL到确定性自动机。无红花成分法(2016)
  18. Molnár,Vince;Vörös,András;Darvas,Dániel;Bartha,Tamás;Majzik,István:组件增量LTL模型检查(2016)
  19. Unel,Gulay:用逻辑编程对一元二阶逻辑进行增量推理(2016)
  20. 杨国杰,量子协议检测模型;杨国杰,2016年