托马斯·布里海耶
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元53年] 托马斯·布里海耶 , 苏菲·平奇纳特 , 亚历山大·特雷芬科 :
动态对抗的攻击防御树语义和新的星自由语言层次。 拉丁语(2) 2024 : 257-271 2023 [第52条] 托马斯·布里海耶 , 苏菲·平奇纳特 , 亚历山大·特雷芬科 :
塞门提克·福梅利亚·德朱厄尔(Sémantique FormelleáDeux Joueurs)为阿尔伯雷斯·德哈克(Arbres d'Attaque)加油。 中国互联网络协会 2023 [第51条] 托马斯·布里海耶 , 阿琳·戈敏 , 詹姆斯·梅因 , 米凯尔·兰德尔 :
《可达性游戏与朋友:记忆与复杂性的旅程》(受邀演讲)。 FSTTCS公司 2023 : 1:1-1:26 [公元50年] 路易丝·萨多恩 , 扎卡里·德·格里夫 , 托马斯·布里海耶 :
零售电价和电网电价结构对可再生能源社区资源调度运行的影响。 ISGT欧洲 2023 : 1-5 [公元49年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Gaspard Reghem公司 :
定量可达性Stackelberg-Pareto合成是NEXPTIME完整的。 RP公司 2023 : 70-84 [公元48年] 托马斯·布里海耶 , 阿琳·戈敏 :
多权重可达性游戏。 RP公司 2023 : 85-97 [i27] 路易丝·萨多恩 , 扎卡里·德·格里夫 , 托马斯·布里海耶 :
通过非合作资源调度游戏评估可再生能源社区的当地发电量。 CoRR公司 abs/2305.04085 ( 2023 ) [i26] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Gaspard Reghem公司 :
定量可达性Stackelberg-Pareto合成是NEXPTIME完整的。 CoRR公司 abs/2308.09443 ( 2023 ) [i25] 托马斯·布里海耶 , 阿琳·戈敏 :
多权重可达性游戏。 CoRR公司 abs/2308.09625 ( 2023 ) 【i24】 托马斯·布里海耶 , 苏菲·平奇纳特 , 亚历山大·特雷芬科 :
动态对策的攻击防御树语义和新的无星语言层次。 CoRR公司 abs/2312.00458 ( 2023 ) 2022 [公元26年] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 米凯尔·兰德尔 , 塞德里克·里维尔 , 皮埃尔·范登霍夫 :
随机系统的决定性及其在混合模型中的应用。 Inf.计算。 289 ( 零件 ) : 104861 ( 2022 ) [公元25年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
负权重的单块定价计时游戏。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) [公元47年] 托马斯·布里海耶 , 苏菲·平奇纳特 , 亚历山大·特雷芬科 :
攻击树的对抗形式语义及相关问题。 甘道夫 2022 : 162-177 2021 [公元24年] 米科拉伊·博扬奇克 , 托马斯·布里海耶 , 克里斯托夫·哈斯 , 斯拉沃米尔·拉索塔 , 乔尔·瓦克宁 , 伊戈尔·波塔波夫 :
前言。 Inf.计算。 277 : 104579 ( 2021 ) [公元23年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , Jean-François Raskin女士 :
弱子对策完全均衡的约束存在性问题 ω -常规布尔目标。 Inf.计算。 278 : 104594 ( 2021 ) [j22] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , 内森·托马斯特 :
可达博弈中的相关均衡。 J.计算。 系统。 科学。 119 : 211-230 ( 2021 ) 2020 [公元21年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , Stéphane Le Roux酒店 :
关于连续博弈中动力学的终止。 Inf.计算。 272 : 104505 ( 2020 ) [公元20年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , Jean-François Raskin女士 , 玛丽·范登·博加德 :
定量可达性博弈中子博弈完全均衡的复杂性。 日志。 方法计算。 科学。 16 ( 4 ) ( 2020 ) [公元19年] 托马斯·布里海耶 , 弗洛伦特·德尔格兰奇 , 尤索夫·乌尔哈德(Youssouf Oualhadj) , 米凯尔·兰德尔 :
生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 日志。 方法计算。 科学。 16 ( 4 ) ( 2020 ) [公元46年] 托马斯·布里海耶 , 阿琳·戈敏 :
基于回合可达性时间博弈中的子博弈完美均衡。 格式 2020 : 94-110 [公元45年] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 米凯尔·兰德尔 , 塞德里克·里维尔 , 皮埃尔·范登霍夫 :
随机系统的决定性及其在混合模型中的应用。 甘道夫 2020 : 149-165 [第23条] 托马斯·布里海耶 , 阿琳·戈敏 :
基于回合可达性时间博弈中的子博弈完美均衡。 CoRR公司 abs/2006.10491 ( 2020 ) [i22] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 保林·福尼尔 :
用果断性驯服可数马尔可夫决策过程。 CoRR公司 2008年10月426日 ( 2020 ) 【i21】 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
具有任意权重的单块定价计时游戏。 CoRR公司 abs/2009.03074 ( 2020 ) [i20] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 米凯尔·兰德尔 , 塞德里克·里维尔 , 皮埃尔·范登霍夫 :
随机系统的决定性及其在混合模型中的应用(完整版)。 CoRR公司 abs/2009.13152 ( 2020 )
2010 – 2019
2019 [公元44年] 托马斯·布里海耶 , 弗洛伦特·德尔格兰奇 , 尤索夫·乌尔哈德(Youssouf Oualhadj) , 米凯尔·兰德尔 :
生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 CONCUR公司 2019 : 8:1-8:18 [公元43年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , Jean-François Raskin女士 , 玛丽·范登·博加德 :
定量可达性博弈中子博弈完全均衡的复杂性。 CONCUR公司 2019 : 13:1-13:16 [公元42年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , 本杰明·蒙梅格 , 布鲁诺-奎丁 :
游戏动力学:基于仿真的技术及其在路由中的应用。 FSTTCS公司 2019 : 35:1-35:14 [公元41年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , 内森·托马斯特 :
可达性博弈中的相关均衡。 RP公司 2019 : 48-62 [i19] 托马斯·布里海耶 , 弗洛伦特·德尔格兰奇 , 尤索夫·乌尔哈德(Youssouf Oualhadj) , 米凯尔·兰德尔 :
生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 CoRR公司 abs/1901.03571 ( 2019 ) [i18] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , Jean-François Raskin女士 , 玛丽·范登·博加德 :
定量可达性博弈中子博弈完全均衡的复杂性(完整版)。 CoRR公司 腹肌/1905.00784 ( 2019 ) [i17] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , 内森·托马斯特 :
可达性博弈中的相关均衡。 CoRR公司 腹肌/1907.05481 ( 2019 ) [i16] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , 本杰明·蒙梅格 , 布鲁诺-奎丁 :
游戏动力学:基于仿真的技术及其在路由中的应用。 CoRR公司 abs/1910.00094 ( 2019 ) 2018 [j18] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 皮埃尔·卡利埃 :
随机过渡系统什么时候可以驯服? J.日志。 代数方法课程。 99 : 41-96年 ( 2018 ) [公元40年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 西明浩 , 亚瑟·米尔奇奥 , 本杰明·蒙梅格 :
MITL模型检查和综合的有效算法和工具。 ICECCS公司 2018 : 180-184 [公元39年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , Jean-François Raskin女士 :
具有ω-正则布尔目标的弱子对策完全均衡的约束存在性问题。 甘道夫 2018 : 16-29 【i15】 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 阿琳·戈敏 , Jean-François Raskin女士 :
具有欧米伽正则布尔目标的弱子博弈完美均衡的约束存在性问题。 CoRR公司 abs/1806.05544 ( 2018 ) 2017 [公元17年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
伪多项式迭代算法,用于求解总对偶博弈和最小代价可达博弈。 信息学报 54 ( 1 ) : 85-125 ( 2017 ) [公元38年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 :
MightyL:从MITL到时间自动机的合成翻译。 卡瓦(1) 2017 : 421-440 [公元37年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 :
基于时间自动机的MITL信号验证。 时间 2017 : 7:1-7:19 [公元36年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 玛丽恩·哈利特 , Stéphane Le Roux酒店 :
序贯游戏中的动力学和联合。 甘道夫 2017 : 136-150 [第14条] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 皮埃尔·卡利埃 :
随机过渡系统什么时候可以驯服? CoRR公司 abs/1703.04806 ( 2017 ) 2016 [c35] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 皮埃尔·卡利埃 , 昆汀·梅内 :
随机时间自动机的组成设计。 企业社会责任 2016 : 117-130 [公元34年] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 , Nathalie Sznajder公司 :
实时合成很难! 格式 2016 : 105-120 [公元33年] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 皮埃尔·卡利埃 :
分析决定性随机过程。 ICALP公司 2016 : 101:1-101:14 [公元32年] 托马斯·布里海耶 , 阿米特·库马尔·达尔 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
使用多层游戏实现智能电网中的高效能源分配。 外壳/SynCoP 2016 : 1-12 [电子1] 托马斯·布里海耶 , 贝诺·特·德拉哈耶 , 洛伊格·杰泽奎尔 , 尼古拉斯·马基 , 吉尔·斯尔巴 :
2016年4月2日至3日,荷兰埃因霍温,Cassting/SynCoP 2016,复杂系统合成游戏Cassting研讨会和第三届复杂参数合成国际研讨会会议记录。 EPTCS公司 220, 2016 [目录] [i13] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 , 西明浩 , 本杰明·蒙梅格 , Nathalie Sznajder公司 :
实时合成很难! CoRR公司 abs/1606.07124 ( 2016 ) 2015 [公元16年] 托马斯·布里海耶 , 阿克塞尔·哈达德 , 昆汀·梅内 :
Banach-Mazur游戏的简单策略和概率集1。 Inf.计算。 245 : 17-35 ( 2015 ) [公元31年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
达到或不达到? 总收益博弈的有效算法。 CONCUR公司 2015 : 297-310 [公元30年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 不,梅尼尔 , Jean-François Raskin女士 :
弱子博弈完美均衡及其在定量可达性中的应用。 CSL公司 2015 : 504-518 [公元29年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
简单的定时定价游戏并没有那么简单。 FSTTCS公司 2015 : 278-292年 [公元28年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 , 吉列尔莫·A·佩雷斯 , 加布里埃尔·雷诺 :
失败下的定量游戏。 FSTTCS公司 2015 : 293-306 [i12] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 不,梅尼尔 , Jean-François Raskin女士 :
弱子博弈完美均衡及其在定量可达性中的应用。 CoRR公司 abs/1504.01557 ( 2015 ) [i11] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 , 吉列尔莫·A·佩雷斯 , 加布里埃尔·雷诺 :
失败下的定量游戏。 CoRR公司 abs/1504.06744 ( 2015 ) [i10] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 恩格尔·勒福丘 , 本杰明·蒙梅格 :
简单的定时定价游戏并没有那么简单。 CoRR公司 abs/1507.03786 ( 2015 ) 2014 [公元15年] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 昆汀·梅内 , 克里斯特尔·拜尔 , 马库斯·格勒 , 马金·尤金斯基(Marcin Jurdzinski) :
随机时间自动机。 日志。 方法计算。 科学。 10 ( 4 ) ( 2014 ) [公元14年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 朱莉·德普林 :
具有可达性/安全性目标的定量博弈的均衡。 理论计算。 系统。 54 ( 2 ) : 150-189 ( 2014 ) [公元27年] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 桑卡拉·纳拉亚南·克里希纳 , 拉克希米·马纳萨 , 本杰明·蒙梅格 , 阿什图什·特里维迪 :
为定价的计时游戏增加负价格。 CONCUR公司 2014 : 560-575 [公元26年] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和无限词上的交替时间自动机。 格式 2014 : 69-84 [公元25年] 纳塔莉·贝特朗 , 托马斯·布里海耶 , 布莱斯·基内斯特 :
单时钟决策随机时间自动机可达性的值1判定问题。 QEST公司 2014 : 313-328 [第九章] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 桑卡拉·纳拉亚南·克里希纳 , 拉克希米·马纳萨 , 本杰明·蒙梅格 , 阿什图什·特里维迪 :
为定价的计时游戏增加负价格。 CoRR公司 abs/1404.5894 ( 2014 ) [i8] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和无限单词上的交替时间自动机。 CoRR公司 abs/1406.4395 ( 2014 ) [i7] 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
达到或不达到? 总收益博弈的有效算法。 CoRR公司 abs/1407.5030 ( 2014 ) 2013 [公元24年] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
单调混合自动机的有时限可达性:复杂性和不动点。 ATVA公司 2013 : 55-70 【c23】 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和交替时间自动机。 格式 2013 : 47-61 [公元22年] 托马斯·布里海耶 , 朱莉·德普林 , 斯文·舍韦 :
具有简单纳什均衡的多人成本博弈。 LFCS公司 2013 : 59-73 【c21】 托马斯·布里海耶 , 昆汀·梅内 :
公平正确的制度:超越欧米茄规则。 甘道夫 2013 : 21-34 [i6] 托马斯·布里海耶 , Morgane Estiévenart公司 , 吉勒斯·杰拉尔茨 :
关于MITL和交替时间自动机。 CoRR公司 abs/1304.2814 ( 2013 ) [i5] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 阿梅利·斯塔纳 :
正频率时间自动机中的空性和普适性问题。 CoRR公司 abs/1309.2842 ( 2013 ) 2012 [j13] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 朱莉·德普林 , 雨果·金伯特 :
定量可达性博弈中的子博弈完善。 日志。 方法计算。 科学。 9 ( 1 ) ( 2012 ) [公元20年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 朱莉·德普林 , 雨果·金伯特 :
定量可达性博弈中均衡的子博弈完善。 FoSSaCS公司 2012 : 286-300 [第19条] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 马金·尤金斯基(Marcin Jurdzinski) , 昆汀·梅内 :
反应时间自动机的Almost-Sure模型检验。 QEST公司 2012 : 138-147年 [i4] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 朱莉·德普林 :
具有可达性/安全性目标的定量博弈的均衡。 CoRR公司 abs/1205.4889 ( 2012 ) [i3] 托马斯·布里海耶 , 朱莉·德普林 , 斯文·舍韦 :
具有简单纳什均衡的多人成本博弈。 CoRR公司 abs/1210.3548 ( 2012 ) [i2] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
混合自动机的时界可达性:复杂性和不动点。 CoRR公司 abs/1211.1276 ( 2012 ) 2011 [第18条] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 劳伦特·多恩 , 马克·杜科布 , Jean-François Raskin女士 :
基于反链的QBF求解。 ATVA公司 2011 : 183-197 [第17条] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 阿梅利·斯塔纳 :
正频率时间自动机中的空性和普适性问题。 ICALP(二) 2011 : 246-257 [第16条] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
关于有界时间上混合自动机的可达性。 ICALP(二) 2011 : 416-427 [i1] 托马斯·布里海耶 , 劳伦特·多恩 , 吉勒斯·杰拉尔茨 , 乔尔·瓦克宁 , Jean-François Raskin女士 , 詹姆斯·沃雷尔 :
关于有界时间上混合自动机的可达性。 CoRR公司 abs/1104.5335 ( 2011 ) 2010 [公元12年] 帕特里夏·鲍耶 , 托马斯·布里海耶 , Fabrice骑士 :
O-最小混合可达性游戏。 日志。 方法计算。 科学。 6 ( 1 ) ( 2010 ) [公元11年] 托马斯·布里海耶 , 马克·荣格斯 , 萨姆森·拉索 , 尼古拉斯·马基 , 加桑·奥雷比 :
使用模型检查分析分布式电源控制问题。 EURASIP J.Wirel公司。 Commun公司。 Netw公司。 2010 ( 2010 ) [公元10年] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Elaine渲染 :
强重置混合系统的形式语言属性。 RAIRO提奥。 信息学应用。 44 ( 1 ) : 79-111 ( 2010 ) [第15条] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 朱莉·德普林 :
数量可达性博弈中的均衡。 企业社会责任 2010 : 72-83
2000 – 2009
2009 [公元9年] 托马斯·布里海耶 , 克里斯蒂安·米肖 , 塞德里克·里维尔 :
闭有序微分场理论中的单元分解和维数函数。 Ann.纯粹应用。 日志。 159 ( 1-2 ) : 111-128 ( 2009 ) [j8] 帕特里夏·鲍耶 , 托马斯·布里海耶 , Fabrice骑士 :
加权o-最小混合系统。 Ann.纯粹应用。 日志。 161 ( 三 ) : 268-288 ( 2009 ) [第14条] 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 :
时间自动机何时可以确定? ICALP(二) 2009 : 43-54 [第13条] 托马斯·布里海耶 , 阿尔诺·达科斯塔·洛佩斯 , 弗朗索瓦·拉鲁西尼 , 尼古拉斯·马基 :
具有策略上下文和有限记忆的ATL。 LFCS公司 2009 : 92-106 2008 [第12条] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 马金·尤金斯基(Marcin Jurdzinski) , 兰科·拉齐奇 , 米查尔·鲁特考夫斯基 :
强重置混合自动机上的平均价格和可达性价格博弈。 格式 2008 : 第63页至第77页 [第11条] 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 马库斯·格勒 :
单块时间自动机中无限路径的Almost-Sure模型检验。 低收入国家 2008 : 217-226 [第10条] 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 尼古拉斯·马基 :
概率语义下一块时间自动机的定量模型检验。 QEST公司 2008 : 55-64 【c9】 托马斯·布里海耶 , 尼古拉斯·马基 , 穆罕默德·甘纳姆 , 莱昂内尔·里格 :
好朋友很难找到! 时间 2008 : 32-40 2007 [j7] 托马斯·布里海耶 :
动力系统的词汇和相互模拟。 谨慎。 数学。 西奥。 计算。 科学。 9 ( 2 ) ( 2007 ) [j6] 帕特里夏·鲍耶 , 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Jean-François Raskin女士 :
关于加权时间自动机的最优可达性问题。 形式方法系统。 设计。 31 ( 2 ) : 135-175 ( 2007 ) 【c8】 托马斯·布里海耶 , 弗朗索瓦·拉鲁西尼 , 尼古拉斯·马基 , 加桑·奥雷比 :
定时并发游戏结构。 CONCUR公司 2007 : 445-459 【c7】 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 托马斯·布里海耶 , 马库斯·格勒 :
时间自动机的概率语义和拓扑语义。 FSTTCS公司 2007 : 179-191 【c6】 托马斯·布里海耶 , 托马斯·汉津格 , Vinayak S.Prabhu公司 , Jean-François Raskin女士 :
计时游戏中的最小时间可达性。 ICALP公司 2007 : 825-837 【c5】 帕特里夏·鲍耶 , 托马斯·布里海耶 , Fabrice骑士 :
加权O-极小混合系统比加权时间自动机更具决策性! LFCS公司 2007 : 第69页至第83页 2006 [j5] 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Jean-François Raskin女士 :
关于带秒表观测器的模型检查时间自动机。 Inf.计算。 204 ( 三 ) : 408-433 ( 2006 ) 【j4】 帕特里夏·鲍耶 , 托马斯·布里海耶 , 尼古拉斯·马基 :
改进了加权时间自动机的不可判定性结果。 信息处理。 莱特。 98 ( 5 ) : 188-194 ( 2006 ) [j3] 托马斯·布里海耶 , 克里斯蒂安·米肖 :
《o最小混杂系统的表达性和可判定性》的勘误表[J.Complexity 21(2005)447-478]。 J.复杂。 22 ( 三 ) : 431-434 ( 2006 ) [注2] 托马斯·布里海耶 :
关于o-极小动力系统可达性问题不可判定性的注记。 数学。 日志。 问:。 52 ( 2 ) : 165-170 ( 2006 ) 【c4】 帕特里夏·鲍耶 , 托马斯·布里海耶 , Fabrice骑士 :
最小混杂系统中的控制。 低收入国家 2006 : 367-378 2005 [j1] 托马斯·布里海耶 , 克里斯蒂安·米肖 :
关于o-极小混合系统的表示性和可判定性。 J.复杂。 21 ( 4 ) : 447-478 ( 2005 ) 【c3】 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Jean-François Raskin女士 :
关于最优定时策略。 格式 2005 : 49-64 2004 【c2】 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Jean-François Raskin女士 :
加权时间自动机的模型检验。 格式/FTRTFT 2004 : 277-292 【c1】 托马斯·布里海耶 , 克里斯蒂安·米肖 , 塞德里克·里维尔 , 克里斯托夫·特洛伊斯特勒 :
关于O-极小混合系统。 高速列车控制中心 2004 : 219-233
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)