简·Křetínsk;伊曼纽尔·拉姆尼安图;亚历山大·斯利文斯基;马克西米利安·威宁格 简单随机博弈算法的比较。 (英语) Zbl 07629166号 Inf.计算。 289,B部分,文章ID 104885,23 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk椯}et al.,《信息计算》。289,B部分,文章ID 104885,23 p.(2022;Zbl 07629166) 全文: 内政部
简·Křetínsk;伊曼纽尔·拉姆尼安图;亚历山大·斯利文斯基;马克西米利安·威宁格 简单随机博弈算法的比较。 (英语) Zbl 07455745号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326131-148(2020)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínský}等人,电子。程序。西奥。计算。科学。(EPTCS)326、131——148(2020;兹bl 07455745) 全文: arXiv公司 链接
普拉纳夫·阿肖克;马蒂亚斯·杰克米耶;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼 dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300871号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Ashok}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020;Zbl 07300871) 全文: 内政部
普拉纳夫·阿肖克;马蒂亚斯·杰克米耶;普什巴克·贾格塔普;简·Křetínsk;马克西米利安·威宁格;马吉德·扎马尼 dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300858号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第17条,第7页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Ashok}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第17条,第7页(2020;兹bl 07300858) 全文: 内政部 arXiv公司
简·Křetínsk;亚历山大·曼塔;托拜厄斯·梅根多夫 LTL合成中奇偶博弈求解的语义标记和学习。 (英语) Zbl 1437.68118号 Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11781, 404-422 (2019).MSC公司:60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.,Lect。注释计算。科学。11781、404--422(2019年;Zbl 1437.68118) 全文: 内政部 arXiv公司
乌里法伦伯格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 定量规范的组成。 (英语) Zbl 1398.68339号 软计算。 22,第4期,1139-1158(2018).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,《软计算》。22,第4号,1139--1158(2018;Zbl 1398.68339) 全文: 内政部 arXiv公司
所罗门·西克特;哈维尔·埃斯帕尔扎;贾克斯,斯特凡;简·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公司
Forejt,Vojtěch公司;简·克查尔;简·Křetínsk MDP和频率的控制器综合{长期贷款}_{\setminus\mathrm{GU}}\)。 (英语) Zbl 1471.68142号 Davis,Martin(编辑)等人,《编程逻辑、人工智能和推理》。第20届国际会议,LPAR-20 2015,斐济苏瓦,2015年11月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9450,162-177(2015年)。MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,Lect。注释计算。科学。9450、162--177(2015;Zbl 1471.68142) 全文: 内政部 arXiv公司
祖扎纳科马尔科娃;简·Křetínsk Rabinizer 3:LTL到小型确定性自动机的非安全转换。 (英语) Zbl 1448.68268号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 235-241 (2014).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Komárková}和\textit{J.Křetínskí},Lect。注释计算。科学。8837、235--241(2014;Zbl 1448.68268) 全文: 内政部
简·Křetínsk;鲁斯兰Ledesma Garza Rabinizer 2:用于\(\mathrm的小型确定性自动机{长期贷款}_{\setminus\mathbf{GU}}\)。 (英语) Zbl 1410.68231号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 446-450 (2013).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk \}和\textit{R.Ledesma Garza},莱克特。注释计算。科学。8172446--450(2013;Zbl 1410.68231) 全文: 内政部
安德烈亚斯·盖泽;简·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) 全文: 内政部
尼古拉·贝内什;简·Křetínsk 模态过程重写系统。 (英语) Zbl 1362.68199号 Roychoudhury,Abhik(编辑)等人,《计算的理论方面——ICTAC 2012》。第九届国际学术讨论会,印度班加罗尔,2012年9月24日至27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32942-5/pbk)。计算机科学课堂讲稿7521120-135(2012)。MSC公司:68问题85 2012年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}和\textit{J.Křetínskí},Lect。注释计算。科学。7521,120-135(2012;Zbl 1362.68199) 全文: 内政部
托马斯·布拉兹迪尔;简·克查尔;简·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季度 第93页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,in:第14届ACM混合系统国际会议论文集:计算与控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约州纽约市:计算机协会(ACM)。33-42(2011;Zbl 1361.68136) 全文: 内政部