弗兰蒂舍克·布拉胡德克；Juraj少校；斯特雷切克，简 LTL到具有通用接受和返回的自循环交替自动机。 （英语） Zbl 1460.68049号 西奥。计算。科学。 840, 122-142 (2020).MSC公司：65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Blahoudek}等人，Theor。计算。科学。840122--142（2020年；Zbl 1460.68049） 全文： 内政部
所罗门·西克特；哈维尔·埃斯帕尔扎；斯特凡·贾克斯；简·Křetínsk 线性时序逻辑的极限确定Büchi自动机。 （英语） Zbl 1411.68054号 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9780, 312-332 (2016).MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Sickert｝等人，Lect。注释计算。科学。9780、312--332（2016；Zbl 1411.68054） 全文： 内政部
哈维尔·埃斯帕尔扎；简·Křetínsk；所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 （英语） Zbl 1368.68233号 形式方法系统。设计。 49，第3期，219-271（2016）.MSC公司：65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《形式方法系统》。设计。49，第3号，219--271（2016；Zbl 1368.68233） 全文： 内政部 arXiv公司
弗兰蒂舍克·布拉胡德克；莫西尔·Křetínsk \345]；斯特雷切克，简 LTL与确定性Rabin自动机翻译器的比较。 （英语） Zbl 1406.68050号 McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。计算机科学课堂讲稿8312164-172（2013）。MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Blahoudek}等人，Lect。注释计算。科学。8312，164--172（2013；Zbl 1406.68050） 全文： 内政部
安德烈亚斯·盖泽；简·Křetínsk；哈维尔·埃斯帕尔扎 Rabinizer：用于\（{\mathrm{LTL}（\mathrm{F}，\mathrm2{G}）}\）的小型确定性自动机。 （英语） Zbl 1374.68259号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，72-76（2012）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gaiser}等人，Lect。注释计算。科学。7561、72-76（2012年；Zbl 1374.68259） 全文： 内政部