穆克西特·阿齐姆;亚历山大·伊万杰里迪斯;简·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公司
巴勃罗·卡斯特罗。;佩德罗·R·达吉尼奥。;拉米罗·德马西;卢西亚诺·普特鲁埃尔 在随机游戏中与公平的对手进行游戏，获得总奖励。 （英语） Zbl 1518.91011号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 48-69 (2022).MSC公司：91A15型 91A10号 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Castro}等人，Lect。注释计算。科学。13372，48-69（2022；Zbl 1518.91011） 全文： 内政部 arXiv公司
朱莉娅·艾森特罗;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公司
莫里斯·比克。;谢夫·范·卢;埃里克·P·德文克。;Tim A.C.Willemse。 使用具有可变性的奇偶博弈进行基于家族的SPL模型检查。 （英语） Zbl 1507.68199号 Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 245-265 (2020).MSC公司：60年第68季度 68纳米30 91年43月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，Lect。注释计算。科学。12076245--265（2020；Zbl 1507.68199） 全文： 内政部
李勇;莫舍·瓦尔迪。;张丽君 关于Büchi互补中明确性的力量。 （英语） Zbl 07455748号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326、182-198（2020年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326182--198（2020；Zbl 07455748） 全文： 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公司 链接
托马斯·布里海耶;佛罗伦萨德尔格兰奇;尤索夫·乌阿尔哈德;米凯尔·兰多尔 生命是随机的，时间不是：具有窗口目标的马尔可夫决策过程。 （英语） Zbl 1509.91006号 日志。方法计算。科学。 16，第4号，第13号论文，30页（2020年）.MSC公司：91A35型 91年43月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，日志。方法计算。科学。16，第4号，第13号论文，30页（2020；Zbl 1509.91006） 全文： 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公司
克里希南德·查特吉;戈哈沙迪·阿米尔·卡夫什达尔;拉斯穆斯·易卜森·延森;纱线维纳 用于分析密码攻击的遍历平均值游戏。 （英语） Zbl 1520.94045号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第11条，第17页（2018年）。MSC公司：94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。118，第11条，第17页（2018；Zbl 1520.94045） 全文： 内政部 arXiv公司
维罗尼克·布鲁埃;昆廷豪特;米凯尔·兰多尔 窗口奇偶游戏：有时间限制的奇偶游戏的替代方法。 （英语） Zbl 1478.91036号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226135-148（2016）。MSC公司：91年43月 91A10号 91A05级 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226135-148（2016；Zbl 1478.91036） 全文： arXiv公司 链接