阿琳·戈敏；尼古拉斯·马基；奥坎·桑库尔 定时网络拥塞游戏中的非盲策略。 （英语） Zbl 07643435号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 183-199 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Goeminne}等人，Lect。注释计算。科学。13465183-199（2022；Zbl 07643435） 全文： 内政部 arXiv公司
帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
托马斯·布里海耶；吉勒·杰勒茨；哈达德，阿克塞尔；本杰明·蒙梅格 伪多项式迭代算法，用于求解总对偶博弈和最小代价可达博弈。 （英语） Zbl 1362.68203号 学报信息。 54，第1期，85-125（2017）.MSC公司：68问题85 68周05 68瓦40 91A43型 PDF格式BibTeX公司 XML格式引用 \textit｛T.Brihaye｝等人，Acta Inf.54，No.1，85-125（2017；兹bl 1362.68203） 全文： 内政部 哈尔
托马斯·布里海耶；朱莉·德普里尔；斯文·舍韦 具有简单纳什均衡的多人成本博弈。 （英语） Zbl 1422.91043号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 59-73 (2013).MSC公司：91A06型 68米10 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。7734，59-73（2013；Zbl 1422.91043） 全文： 内政部 arXiv公司