米罗斯拉夫·乔迪尔；安东·库切拉；简·Křetínsk 定量概率CTL的可满足性：迎接挑战。 （英语） Zbl 1528.68216号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 364-387 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}等人，Lect。票据计算。科学。13660364--387（2022年；Zbl 1528.68216） 全文： 内政部
迈克尔·布隆丁；哈维尔·埃斯帕尔扎；马丁·海弗里奇；安东·库切拉；菲利普·迈耶。 用随机调度检验复制系统的定性生存性。 （英语） Zbl 1478.68147号 Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12225372-397（2020年）。MSC公司：60年第68季度 68问题85 87年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，Lect。票据计算。科学。12225、372--397（2020年；Zbl 1478.68147） 全文： 内政部 arXiv公司
迈克尔·布隆丁；哈维尔·埃斯帕尔扎；斯特凡·贾克斯；安东·库切拉 黑暗中的黑忍者：人口协议的形式分析。 （英语） Zbl 1487.68031号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。1-10 (2018).MSC公司：64岁以下 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。1-10（2018；Zbl 1487.68031） 全文： 内政部
安东·库切拉；Richard迈尔 用于检查下推自动机和有限状态自动机之间语义等价性的通用框架。 （英语） Zbl 1378.68106号 J.计算。系统。科学。 91, 82-103 (2018).MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{R.Mayr}，J.Compute。系统。科学。91、82-103（2018年；Zbl 1378.68106） 全文： 内政部
托马斯·布拉兹迪尔；斯特凡·基弗；安东尼·科雷拉 具有无界计数器的概率程序的有效分析。 （英语） Zbl 1321.68186号 美国临床医学杂志 第61条第6款第41条第35页（2014年）.MSC公司：68号30 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Brázdil｝等人，J.ACM 61，第6号，第41条，第35页（2014年；Zbl 1321.68186） 全文： 内政部 arXiv公司
托马斯·布拉兹迪尔；瓦茨拉夫·布罗泽克；克里希南德·查特吉；Forejt，Vojtěch公司；安东·库切拉 具有多个长期平均目标的马尔可夫决策过程。 （英语） Zbl 1326.90101号 日志。方法计算。科学。 10，第1号，第13号论文，29页（2014）.MSC公司：90立方厘米 60年第68季度 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，日志。方法计算。科学。10，第1号，第13号论文，29页（2014；Zbl 1326.90101） 全文： 内政部
托马斯·布拉兹迪尔；瓦茨拉夫·布罗泽克；Forejt，Vojtěch公司；安东·库切拉 概率下推自动机的分支时间模型检验。 （英语） Zbl 1311.68084号 J.计算。系统。科学。 80，第1期，139-156（2014）.MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，《计算杂志》。系统。科学。80，第1号，139--156（2014；Zbl 1311.68084） 全文： 内政部
托马斯·布拉兹迪尔；哈维尔·埃斯帕尔扎；斯特凡·基弗；安东·库切拉 分析概率下推自动机。 （英语） Zbl 1291.68226号 形式方法系统。设计。 43，第2期，124-163（2013）.MSC公司：65年第68季度 68-02 87年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，《形式方法系统》。设计。43，No.2，124--163（2013；Zbl 1291.68226） 全文： 内政部 链接
克里斯特尔·拜尔；托马斯·布拉兹迪尔；马库斯·格勒；安东·库切拉 随机博弈逻辑。 （英语） Zbl 1276.68103号 学报信息。 49，第4期，203-224（2012）. 审核人：Joost Pieter Katoen（亚琛） MSC公司：60年第68季度 2017年第68季度 91A06型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《信息学报》第49期，第4期，第203-224页（2012年；Zbl 1276.68103） 全文： 内政部
托马斯·布拉兹迪尔；简·克查尔；简·Křetínsk；安东·库切拉；艾哈克，沃伊特 使用时间自动机测量连续时间随机过程的性能。 （英语） Zbl 1361.68136号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。33-42 (2011).MSC公司：60年第68季度 60J20型 65年第68季度 93E15型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。33-42（2011；Zbl 1361.68136） 全文： 内政部
安东·库切拉 随机性：构造和分析计算机程序的工具。 （英语） Zbl 1234.68319号 Zenil，Hector（编辑），通过计算的随机性。一些答案，更多问题。新泽西州哈肯萨克：世界科学（ISBN 978-981-4327-74-9/hbk；978-981-14327-75-6/电子书）。275-281 (2011).MSC公司：87年第68季度 60年第68季度 第68季度30 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}，in：通过计算的随机性。一些答案，更多问题。新泽西州哈肯萨克：《世界科学》。275--281（2011年；Zbl 1234.68319） 全文： 链接
安东·库切拉；Richard迈尔 关于检查下推过程和有限状态过程之间语义等价的复杂性。 （英语） 兹比尔1194.68162 Inf.计算。 208，第7期，772-796（2010）.MSC公司：68问题85 65年第68季度 65年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{R.Mayr}，Inf.Comput。208，第7号，772--796（2010；Zbl 1194.68162） 全文： 内政部 链接
托马斯·布拉兹迪尔；Forejt，Vojtěch公司；安东·库切拉 具有定性分支时间目标的马尔可夫决策过程的控制器综合与验证。 （英语） Zbl 1155.68427号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126148-159（2008）。MSC公司：60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，Lect。票据计算。科学。5126148-159（2008；Zbl 1155.68427） 全文： 内政部
安东·库切拉；哈维尔·埃斯帕尔扎；Richard迈尔 模型检查概率下推自动机。 （英语） Zbl 1126.68053号 日志。方法计算。科学。 2，第1期，论文2，31页（2006年）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}等人，《日志》。方法计算。科学。2，第1号，论文2，31页（2006年；Zbl 1126.68053） 全文： 内政部
托马斯·布拉兹迪尔；瓦茨拉夫·布罗泽克；Forejt，Vojtěch公司；安东·库切拉 递归马尔可夫决策过程中的可达性。 （英语） 兹比尔1151.68509 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137358-374（2006）。MSC公司：68问题85 65年第68季度 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，Lect。票据计算。科学。4137358--374（2006年；Zbl 1151.68509） 全文： 内政部 链接
安东·库切拉；菲利普·施诺贝伦 将无限状态系统与其有限状态规范进行比较的一般方法。 （英语） 兹比尔1097.68075 西奥。计算。科学。 358，编号2-3315-333（2006）.MSC公司：60年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{P.Schnoebelen}，Theor。计算。科学。358，编号2--3，315--333（2006；Zbl 1097.68075） 全文： 内政部
托马斯·布拉兹迪尔；安东·库切拉 计算无限马尔可夫链子类的期望累积报酬和增益。 （英语） Zbl 1172.68539号 Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821372-383（2005）。MSC公司：60年第68季度 60J10型 60J20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}和\textit{A.Kučera}，莱克托。票据计算。科学。3821372--383（2005年；Zbl 1172.68539） 全文： 内政部
安东·库切拉；斯特雷切克，简 LTL的特征模式。 （英语） Zbl 1117.68431号 Vojtáš，Peter（编辑）等人，《SOFSEM 2005：计算机科学的理论与实践》。2005年1月22日至28日，斯洛伐克利普托夫斯克·扬，第31届计算机科学理论与实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24302-X/pbk）。计算机科学讲座笔记3381239-249（2005）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{J.Strejček}，莱克特。票据计算。科学。3381239--249（2005年；Zbl 1117.68431） 全文： 内政部
托马斯·布拉兹迪尔；安东·库切拉；斯特拉日奥夫斯克，旧 概率下推自动机时间特性的可判定性。 （英语） Zbl 1118.68520号 Diekert，Volker（编辑）等人，STACS 2005。第22届计算机科学理论方面年度研讨会，德国斯图加特，2005年2月24日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24998-2/pbk）。《计算机科学讲义》3404、145-157（2005）。MSC公司：65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，Lect。票据计算。科学。3404、145--157（2005年；Zbl 1118.68520） 全文： 内政部
安东·库切拉；斯特雷切克，简 重新审视了口吃原则。 （英语） Zbl 1079.03008号 学报信息。 41，编号7-8，415-434（2005）.MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{J.Strejček}，《学报》第41期，第7--8期，第415--434页（2005年；Zbl 1079.03008） 全文： 内政部
安东·库切拉；菲利普·施诺贝伦 将无限状态系统与其有限状态规范进行比较的一般方法。 （英语） Zbl 1097.68577号 Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170371-386（2004）。MSC公司：60年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{P.Schnoebelen}，莱克特。票据计算。科学。3170371--386（2004年；Zbl 1097.68577） 全文： 内政部
安东·库切拉；Richard迈尔 用于检查下推自动机和有限状态自动机之间语义等价性的通用框架。 （英语） Zbl 1094.68050号 Levy，Jean-Jacques（编辑）等人，《探索理论信息学的新前沿》。IFIP第18届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22日至27日，法国图卢兹。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8140-5/hbk）。IFIP，国际信息处理联合会155，395-408（2004）。MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{R.Mayr}，IFIP，国际联邦信息处理。155、395--408（2004年；Zbl 1094.68050）
彼得·扬查尔；安东·库切拉；法隆·莫勒；Zdeněk萨瓦 单计数器自动机等价性检验和模型检验的DP下界。 （英语） 兹比尔1078.68087 Inf.计算。 188，第1号，1-19（2004年）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人，《信息计算》。188，编号1，1--19（2004；Zbl 1078.68087） 全文： 内政部
安东尼·库塞拉（编辑）；Richard迈尔（编辑） 无限2002。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。 （英语） Zbl 1270.68031号 理论计算机科学电子笔记68号，第6条。阿姆斯特丹：爱思唯尔。1-106，仅电子版（2003年）。MSC公司：68-06 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kucera}（编辑）和\textit{R.Mayr}（主编），Infinity 2002。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：Elsevier（2003；Zbl 1270.68031） 全文： 链接
哈维尔·埃斯帕尔扎；安东·库切拉；斯特凡·施温 模型检查LTL，定期评估下推系统。 （英语） Zbl 1078.68081号 Inf.计算。 186，第2期，355-376（2003）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《信息计算》。186，编号2，355--376（2003；Zbl 1078.68081） 全文： 内政部
安东·库切拉；彼得·扬查尔 无限状态系统的等效性检查：技术和结果。 （英语） Zbl 1278.68218号 Grosky，William I.（编辑）等人，SOFSEM 2002：信息学理论与实践。2002年11月22日至29日，捷克共和国米洛维，第29届信息学理论和实践趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00145-X/pbk）。计算机科学课堂讲稿2540，41-73（2002）。MSC公司：68问题85 2017年第68季度 65年第68季度 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{P.Jančar}，莱克特。票据计算。科学。2540，41-73（2002年；兹bl 1278.68218） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎；安东·库切拉；斯特凡·施温 对下推系统进行定期评估的模型检查LTL。 （英语） Zbl 1087.68542号 Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。计算机科学课堂讲稿2215，316-339（2001）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，Lect。票据计算。科学。2215、316-339（2001年；Zbl 1087.68542） 全文： 链接
安东·库切拉 关于时序系统的模拟检查。 （英语） Zbl 0987.68045号 何继峰（编辑）等，《计算科学进展——2000年亚洲》。第六届亚洲计算科学会议，马来西亚槟城，2000年11月25-27日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1961, 133-148 (2000).MSC公司：60年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}，莱克特。票据计算。科学。1961年，133-148（2000年；Zbl 0987.68045）
安东·库切拉 单计数器进程的有效验证算法。 （英语） Zbl 0973.68163号 Montanari，Ugo（编辑）等人，《自动化、语言和编程》。第27届国际学术讨论会，ICALP 2000，瑞士日内瓦，2000年7月9日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1853, 317-328 (2000).MSC公司：68问题85 60年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}，莱克特。票据计算。科学。1853、317--328（2000年；Zbl 0973.68163）
安东·库切拉 序列行为的有效分解性。 （英语） Zbl 0944.68065号 西奥。计算。科学。 242，编号1-2，71-89（2000）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛A.Kučera｝，Theor。计算。科学。242，编号1-2，71-89（2000年；Zbl 0944.68065） 全文： 内政部
安东·库切拉 关于无限状态行为的有限表示。 （英语） Zbl 1002.68093号 信息处理。莱特。 70，第1期，23-30（1999）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}，信息处理。莱特。70，编号1，23--30（1999；Zbl 1002.68093） 全文： 内政部