拉比尼泽 swMATH ID: 21008 软件作者： Gaiser A、KřetínskõJ、Esparza J 说明： Rabinizer 3是一个从LTL公式生成小型确定性Rabin自动机和更小的确定性广义Rabin自动机的工具。它是免费且开源的。您可以在下面免费下载该工具及其源代码。发行遵循GNU通用公共许可证（GPL）版本2。该工具已使用ltlcross进行测试。已在Isabelle中证明所实现的算法是正确的。如有疑问，请联系Jan Kretinsky。 主页： 网址：https://www7.in.tum.de/~kretinsk/rabinizer3.html 相关软件： 棱镜;现场;ltl2dstar;自旋蛋白;山毛榉;MoChiBA公司;猫头鹰;LTL2BA公司;研讨会2;条纹;LiQuor公司;TTM公司;PGSolver公司;JBDD公司;NuSMV公司;风暴;德拉格;通过;狂喜;参数 引用于： 18文件 标准条款 3出版物描述软件，包括3出版物以zbMATH为单位 年份 Rabinizer 3:LTL到小型确定性自动机的非安全转换。 Zbl 1448.68268号祖扎纳科马尔科娃;简·Křetínsk 2014 Rabinizer 2：用于\（\mathrm的小型确定性自动机{长期贷款}_{\setminus\mathbf{GU}}\）。 Zbl 1410.68231号简·Křetínsk;鲁斯兰Ledesma Garza 2013 Rabinizer：用于\（{\mathrm{LTL}（\mathrm{F}，\mathrm2{G}）}\）的小型确定性自动机。 兹比尔1374.68259安德烈亚斯·盖泽;简·Křetínsk;哈维尔·埃斯帕尔扎 2012 全部的 前5名31位作者引用 10 简·Křetínsk 6 哈维尔·埃斯帕尔扎 5 所罗门·西克特 三 托拜厄斯·梅根多夫 2 克里斯特尔·拜尔 2 亚历山大·博洛托夫 2 蒙特塞拉特赫莫 2 帕基·卢西奥 2 克拉拉·沃尔德曼 2 马克西米利安·威宁格 1 弗兰蒂舍克·布拉胡德克 1 托马斯·布拉兹迪尔 1 克里希南德·查特吉 1 卢卡·德·阿尔法罗 1 亚历山大·杜雷特·卢茨 1 沃尔夫冈·德沃亚克 1 Forejt，Vojtěch公司 1 安德烈亚斯·盖泽 1 斯特凡·贾克斯 1 斯特凡·基弗 1 迪利普·拉古纳特·基尼 1 约阿希姆·克莱因 1 祖扎纳科马尔科娃 1 安东尼·库塞拉 1 Marta Z.Kwiatkowska。 1 鲁斯兰Ledesma Garza 1 米勒（David I。 1 莫妮卡·劳赫·亨津格 1 斯特雷切克，简 1 亚历山大·斯沃齐尔 1 马赫什·维斯瓦纳坦 4篇连载文章中引用 2 美国医学会杂志 1 信息学报 1 理论计算机科学 1 系统设计中的形式化方法 在2个字段中引用 18 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 按年份列出的引文