穆克西特·阿齐姆;亚历山大·伊万杰里迪斯;简·Křetínsk;亚历山大·斯利文斯基;马克西米利安·威宁格 简单随机对策的乐观和拓扑值迭代。 （英语） Zbl 1522.68295号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 285-302 (2022).MSC公司：60年第68季度 91A15型 91年43月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Azeem}等人，Lect。注释计算。科学。13505285-302（2022年；兹比尔1522.68295） 全文： 内政部 arXiv公司
简·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页（2022；Zbl 07629166） 全文： 内政部
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用预购单索引外观记录。 （英语） Zbl 07592344号 学报信息。 59，第5号，585-618（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk曬}et al.，Acta Inf.59，No.5，585--618（2022；Zbl 07592344） 全文： 内政部
朱莉娅·艾森特罗;Edon Kelmendi;简·Křetínsk;马克西米利安·威宁格 简单随机对策的值迭代：停止准则和学习算法。 （英语） Zbl 1507.91016号 Inf.计算。 285，B部分，文章ID 104886，32 p.（2022）.MSC公司：91A15型 91A68型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisentraut}等人，《信息计算》。285，B部分，文章ID 104886，32 p.（2022；Zbl 1507.91016） 全文： 内政部 arXiv公司
简·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 \}et al.，电子。程序。西奥。计算。科学。（EPTCS）326131-148（2020；Zbl 07455745） 全文： arXiv公司 链接
简·Křetínsk;亚历山大·曼塔;托拜厄斯·梅根多夫 LTL合成中奇偶博弈求解的语义标记和学习。 （英语） Zbl 1437.68118号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，亚视2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 404-422 (2019).MSC公司：60年第68季度 03B44号 65年第68季度 91年43月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。11781、404--422（2019年；Zbl 1437.68118） 全文： 内政部 arXiv公司
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用于将拉宾自动机转换为奇偶自动机的索引外观记录。 （英语） Zbl 1452.68108号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 443-460 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。10205、443--460（2017；Zbl 1452.68108） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎;简·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公司