帕特里夏·鲍耶;托马斯·布里海耶;米凯尔·兰多尔;塞德里克河畔;皮埃尔·范登霍夫 随机系统的决定性及其在混合模型中的应用。 (英语) Zbl 07629164号 Inf.计算。 289,B部分,文章ID 104861,25 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息计算》。289,B部分,文章ID 104861,25 p.(2022;Zbl 07629164) 全文: 内政部 哈尔
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金 具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 (英语) Zbl 1501.91028号 Inf.计算。 278,文章ID 104594,第20页(2021).MSC公司:91A43型 91A11号机组 2017年第68季度 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《信息计算》。278,文章ID 104594,20 p.(2021;Zbl 1501.91028) 全文: 内政部 arXiv公司
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;内森·托马斯特 可达博弈中的相关均衡。 (英语) Zbl 1480.91014号 J.计算。系统。科学。 119, 211-230 (2021).MSC公司:91A11号机组 91A43型 第91页第15页 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《计算杂志》。系统。科学。119211-230(2021;Zbl 1480.91014) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;托马斯·布里海耶;米凯尔·兰多尔;塞德里克河畔;皮埃尔·范登霍夫 随机系统的决定性及其在混合模型中的应用。 (英语) Zbl 07455746号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326149-165(2020年)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)326149--165(2020;Zbl 07455746) 全文: arXiv公司 链接
托马斯·布里海耶;佛罗伦萨德尔格兰奇;尤索夫·乌阿尔哈德;米凯尔·兰多尔 生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 (英语) Zbl 07649916号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第8条,第18页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,LIPIcs——莱布尼茨国际程序。通知。140,第8条,第18页(2019年;Zbl 07649916) 全文: 内政部
托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金 具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 (英语) Zbl 1524.91017号 Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27716-29(2018)。MSC公司:91A43型 91A11号机组 2017年第68季度 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《电子》。程序。西奥。计算。科学。(EPTCS)277,16--29(2018;Zbl 1524.91017) 全文: 链接
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服? (英语) Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99, 41-96 (2018).MSC公司:68问题85 60J20型 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,J.Log。阿尔盖布。方法程序。99、41-96(2018年;Zbl 1394.68243) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃;昆廷·梅内特 随机时间自动机的组成设计。 (英语) Zbl 1475.68146号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日,在俄罗斯圣彼得堡举行的第11届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9691117-130(2016年)。MSC公司:65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。9691117-130(2016年;Zbl 1475.68146) 全文: 内政部
托马斯·布里海耶;阿克塞尔·哈达德;昆廷·梅内特 Banach-Mazur游戏的简单策略和概率集1。 (英语) Zbl 1333.91009号 Inf.计算。 245,17-35(2015年).MSC公司:91A44型 2015年3月 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《信息计算》。245、17-35(2015年;Zbl 1333.91009) 全文: 内政部
托马斯·布里海耶;维罗尼克·布鲁埃;朱莉·德普里尔 具有可达性/安全性目标的定量博弈中的均衡。 (英语) Zbl 1380.91031号 理论计算。系统。 54,第2期,150-189(2014).MSC公司:91A43型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,理论计算。系统。54,第2号,150--189(2014;Zbl 1380.91031) 全文: 内政部 arXiv公司
托马斯·布里海耶;朱莉·德普里尔;斯文·舍韦 具有简单纳什均衡的多人成本博弈。 (英语) Zbl 1422.91043号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 59-73 (2013).MSC公司:91A06型 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,Lect。注释计算。科学。7734,59-73(2013;Zbl 1422.91043) 全文: 内政部 arXiv公司
托马斯·布里海耶;维罗尼克·布鲁埃;伊莱恩·雷恩 强重置混合系统的形式语言属性。 (英语) 兹比尔1184.68309 西奥·雷罗。通知。申请。 44,第1期,79-111(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,RAIRO,Theor。通知。申请。44,编号1,79--111(2010;Zbl 1184.68309) 全文: 内政部 欧洲DML 链接