奥坎·桑库尔
人员信息
附属: 法国雷恩大学 附属: Inria,Rennes,法国
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【b2】 奥坎·桑库尔 :
对时间和概率系统形式方法的贡献。 法国雷恩1大学, 2023 [j7] 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
部分已知环境中关联代理的规划复杂性。 西奥。 计算。 科学。 941 : 202-220 ( 2023 ) [公元50年] 伊塞尼·卡尔维亚克 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
改进的复杂性结果和连接多代理路径查找的有效解决方案。 美国原子能机构 2023 : 896-904 [公元49年] 巴斯蒂恩·托马斯 , 奥坎·桑库尔 :
PyLTA:参数化分布式算法的验证工具。 TACAS(2) 2023 : 28-35 [公元48年] 奥坎·桑库尔 :
通过有限自动机学习进行时间自动机验证和合成。 TACAS(2) 2023 : 329-349 [i20] 纳撒纳埃尔·菲亚尔科 , 纳塔莉·贝特朗 , Patricia Bouyer-Decitre公司 , 罗曼·布伦吉尔 , 阿诺焦油醇 , 费恩雷 , 雨果·金伯特 , 弗洛里安·霍恩 , 拉斯穆斯·易卜生-延森 , 尼古拉斯·马基 , 本杰明·蒙梅格 , 彼得·诺沃顿 , 米凯尔·兰德尔 , 奥坎·桑库尔 , 西尔万·施密茨 , 奥利维尔·塞尔 , 马特乌斯·斯科姆拉 :
图形游戏。 CoRR公司 腹肌/230510546 ( 2023 ) 2022 [公元47年] 野口惠亚 , 奥坎·桑库尔 , 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 :
修复实时要求。 ATVA公司 2022 : 371-387 [公元46年] 帕特里夏·布耶 , 保罗·加斯廷 , Frédéric Herbreteau餐厅 , 奥坎·桑库尔 , B.斯里瓦特桑 :
基于区域的时间自动机验证:外推、模拟和下一步? 格式 2022 : 16-42 [公元45年] 阿琳·戈敏 , 尼古拉斯·马基 , 奥坎·桑库尔 :
定时网络拥塞游戏中的非盲策略。 格式 2022 : 183-199 [公元44年] 纳塔莉·贝特朗 , 尼古拉斯·马基 , 苏曼·萨杜汗 , 奥坎·桑库尔 :
串并联原子拥塞博弈的半线性表示。 FSTTCS公司 2022 : 32:1-32:20 [公元43年] 纳塔莉·贝特朗 , 尼古拉斯·马基 , 奥坎·桑库尔 , 尼古拉斯·沃尔德伯格 :
基于圆的共享内存系统的参数化安全验证。 ICALP公司 2022 : 113:1-113:20 [公元42年] 雅各布·皮里鲍尔 , 奥坎·桑库尔 , 克里斯特尔·拜尔 :
方差激励的随机最短路径问题。 ICALP公司 2022 : 129:1-129:19 [i19] 纳塔莉·贝特朗 , 尼古拉斯·马基 , 奥坎·桑库尔 , 尼古拉斯·沃尔德伯格 :
基于循环的共享内存系统的参数化安全验证。 CoRR公司 abs/2204.11670 ( 2022 ) [i18] 雅各布·皮里鲍尔 , 奥坎·桑库尔 , 克里斯特尔·拜尔 :
方差惩罚随机最短路径问题。 CoRR公司 abs/2204.12280 ( 2022 ) [i17] 阿琳·戈敏 , 尼古拉斯·马基 , 奥坎·桑库尔 :
定时网络拥塞游戏中的非盲策略。 CoRR公司 abs/2207.01537 ( 2022 ) [i16] 帕特里夏·布耶 , 保罗·加斯廷 , Frédéric Herbreteau餐厅 , 奥坎·桑库尔 , B.斯里瓦桑 :
时间自动机的分区验证:外推、模拟和下一步? CoRR公司 abs/2207.07479 ( 2022 ) 2021 [公元41年] 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
规划部分已知环境中的连接代理。 加拿大人工智能 2021 [公元40年] 雅各布·皮里鲍尔 , 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 奥坎·桑库尔 :
概率系统上的量化线性时序逻辑及其在真空度检查中的应用。 同意 2021 : 7:1-7:18 [公元39年] 阿卜杜勒·马吉思 , 奥坎·桑库尔 , 埃尔维·马尔坎德 , Dinh Thai Bui餐厅 :
SDN平台的组合模型检查。 刚果民主共和国 2021 : 1-8 [公元38年] 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
连接多代理路径查找:生成和可视化。 国际JCAI 2021 : 5008-5011 2020 [j6] 特里斯坦·查里尔 , 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
关联代理规划的复杂性。 自动。 Agent多Agent系统。 34 ( 2 ) : 44 ( 2020 ) [公元37年] 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 , 野口惠亚 , 奥坎·桑库尔 :
用于检查实时一致性的增量方法。 格式 2020 : 249-264 [公元36年] 纳塔莉·贝特朗 , 尼古拉斯·马基 , 苏曼·萨杜汗 , 奥坎·桑库尔 :
动态网络拥塞游戏。 FSTTCS公司 2020 : 40:1-40:16 【i15】 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
基于冲突的搜索用于连接的多代理路径查找。 CoRR公司 abs/2006.03280 ( 2020 ) [第14条] 蒂埃里·杰伦 , 尼古拉斯·马基 , 大卫·曼特雷 , 野口惠亚 , 奥坎·桑库尔 :
用于检查实时一致性的增量方法。 CoRR公司 abs/2007.01014 ( 2020 ) [i13] 纳塔莉·贝特朗 , 尼古拉斯·马基 , 苏曼·萨杜汗 , 奥坎·桑库尔 :
动态网络拥塞游戏。 CoRR公司 abs/2009.13632 ( 2020 )
2010 – 2019
2019 [公元35年] 特里斯坦·查里尔 , 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
互联代理的可达性和覆盖范围规划。 美国原子能机构 2019 : 1874-1876 [公元34年] 维克托·鲁萨纳利 , 奥坎·桑库尔 , 尼古拉斯·马基 :
时间自动机的抽象精化算法。 CAV(1) 2019 : 22-40 [公元33年] 达米安·巴斯托·加斯顿 , 本杰明·蒙梅格 , 皮尔雷·阿莱恩·雷尼尔 , 奥坎·桑库尔 :
定时Büchi自动机中的鲁棒控制器综合:一种符号方法。 CAV(1) 2019 : 572-590 [公元32年] 特里斯坦·查里尔 , 亚瑟·奎菲莱克 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
关联代理的可达性和覆盖规划。 国际JCAI 2019 : 144-150 [公元31年] 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 雅各布·皮里鲍尔 , 奥坎·桑库尔 :
路径属性的长期满足。 低收入国家 2019 : 1月14日 [公元30年] 纳塔莉·贝特朗 , 本杰明·博代斯 , 洛伊克·赫鲁特 , 托马斯·玛丽 , 朱莉·帕罗 , 奥坎·桑库尔 :
使用概率模型检查的地铁法规性能评估。 RSS邮件 2019 : 59-76 [i12] 特里斯坦·查里尔 , 阿瑟·奎弗莱 , 奥坎·桑库尔 , 弗朗索瓦·施瓦岑特鲁伯 :
互联代理的可达性和覆盖规划:扩展版。 CoRR公司 abs/1903.04300 ( 2019 ) [i11] 维克托·鲁萨纳利 , 奥坎·桑库尔 , 尼古拉斯·马基 :
时间自动机的抽象精化算法。 CoRR公司 abs/1905.07365 ( 2019 ) 2018 [公元29年] 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 克莱门斯·杜斯拉夫 , 丹尼尔·巴雷克 , 奥坎·桑库尔 :
马尔可夫决策过程中的随机最短路径和加权性质。 低收入国家 2018 : 86-94 [i10] 克里斯特尔·拜尔 , 纳塔莉·贝特朗 , 克莱门斯·杜斯拉夫 , 丹尼尔·巴雷克 , 奥坎·桑库尔 :
马尔可夫决策过程中的随机最短路径和加权性质。 CoRR公司 腹肌/1804.11301 ( 2018 ) 2017 [j5] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 信息学报 54 ( 1 ) : 41-83 ( 2017 ) 【j4】 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
多维马尔可夫决策过程中的百分比查询。 形式方法系统。 设计。 50 ( 2-3 ) : 207-248 ( 2017 ) [j3] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 吕迪格·埃勒斯 , 提摩太地狱 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 玛蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第一届反应合成竞赛(SYNTCOMP 2014)。 国际期刊软件。 技术工具。 Transf公司。 19 ( 三 ) : 367-390 ( 2017 ) [公元28年] 尼古拉斯·巴塞特 , Jean-François Raskin女士 , 奥坎·桑库尔 :
计时游戏中可接受的策略。 模型、算法、逻辑和工具 2017 : 403-425 [公元27年] 罗曼·布伦吉尔 , 阿诺·保利 , Jean-François Raskin女士 , 奥坎·桑库尔 :
信息不完整游戏的准入(邀请谈话)。 同意 2017 : 2:1-2:23 [公元26年] 尼古拉斯·巴塞特 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 奥坎·桑库尔 :
并发游戏中的准入。 ICALP公司 2017 : 123:1-123:14 [公元25年] 奥坎·桑库尔 , Jean-Pierre Talpin女士 :
一种用于领导人选举协议参数化模型检查的抽象技术:在FTSP中的应用。 墨西哥玉米饼(1) 2017 : 23-40 [公元24年] 瑞典雅各布斯 , 尼古拉斯·巴塞特 , 罗德里克·布隆 , 罗曼·布伦吉尔 , Maximilien Colange公司 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 蒂鲍德·米绍德 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 , Leander Tentrup公司 :
第四届反应合成竞赛(SYNTCOMP 2017):基准、参与者和结果。 同步@CAV 2017 : 116-143 [第九章] 尼古拉斯·巴塞特 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 奥坎·桑库尔 :
并发游戏中的可接纳性。 CoRR公司 abs/1702.06439 ( 2017 ) 2016 【c23】 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
定量图形游戏中的可容许性。 FSTTCS公司 2016 : 42:1-42:14 [公元22年] 罗曼·布伦吉尔 , 洛伦佐·克莱门特 , 保罗·亨特 , 吉列尔莫·A·佩雷斯 , 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 , 马修·萨索拉斯 :
反应合成的非零和博弈。 拉丁美洲旅游协会 2016 : 3-23 【c21】 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 罗伯特·科尼霍弗 , 延斯·克雷伯 , 亚历山大·莱格 , 尼娜·纳罗季斯卡 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 玛蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第三届反应合成竞赛(2016年SYNTCOMP):基准、参与者和结果。 同步@CAV 2016 : 149-177 [i8] 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
定量图形游戏中的可容许性。 CoRR公司 abs/1611.08677 ( 2016 ) 2015 [注2] 帕特里夏·布耶 , 尼古拉斯·马基 , 奥坎·桑库尔 :
时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 西奥。 计算。 科学。 563 : 43-74 ( 2015 ) [公元20年] 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
多维马尔可夫决策过程中的百分比查询。 CAV(1) 2015 : 123-139 [第19条] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 同意 2015 : 100-113 [第18条] 奥坎·桑库尔 :
时间自动机的符号定量鲁棒性分析。 TACAS公司 2015 : 484-498 [第17条] 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
随机最短路径问题的变分。 VMCAI公司 2015 : 1-18 [第16条] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 玛蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第二届反应合成竞赛(SYNTCOMP 2015)。 同步 2015 : 27-57 [第15条] 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
简洁安全游戏的合成算法。 同步 2015 : 98-111 [i7] 瑞典雅各布斯 , 罗德里克·布隆 , 罗曼·布伦吉尔 , 吕迪格·埃勒斯 , 提摩太地狱 , 罗伯特·科尼霍弗 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 列奥尼德·雷日克 , 奥坎·桑库尔 , 玛蒂娜·塞德尔 , Leander Tentrup公司 , 亚当·沃克 :
第一届反应合成竞赛(SYNTCOMP 2014)。 CoRR公司 abs/1506.08726 ( 2015 ) [i6] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 CoRR公司 abs/1507.00623 ( 2015 ) [i5] 罗曼·布伦吉尔 , 洛伦佐·克莱门特 , 保罗·亨特 , 吉列尔莫·A·佩雷斯 , 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 , 马修·萨索拉斯 :
反应合成的非零和博弈。 CoRR公司 abs/1512.05568 ( 2015 ) 2014 [j1] 奥坎·桑库尔 , 帕特里夏·布耶 , 尼古拉斯·马基 :
正在收缩的时间自动机。 Inf.计算。 234 : 107-132 ( 2014 ) [第14条] 尤索夫·乌尔哈德(Youssouf Oualhadj) , 皮尔雷·阿莱恩·雷尼尔 , 奥坎·桑库尔 :
概率稳健时间游戏。 同意 2014 : 203-217 [第13条] Jean-François Raskin女士 , 奥坎·桑库尔 :
多环境马尔可夫决策过程。 FSTTCS公司 2014 : 531-543年 [第12条] 罗曼·布伦吉尔 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 , 奥坎·桑库尔 :
AbsSynthe:从简洁的安全规范中抽象合成。 同步 2014 : 100-116 [i4] Jean-François Raskin女士 , 奥坎·桑库尔 :
多环境马尔可夫决策过程。 CoRR公司 abs/1405.4733 ( 2014 ) [i3] 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
多维马尔可夫决策过程中的百分比查询。 CoRR公司 abs/1410.4801 ( 2014 ) [i2] 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
随机最短路径问题的变分。 CoRR公司 abs/1411.0835 ( 2014 ) 2013 【b1】 奥坎·桑库尔 :
时间自动机中的鲁棒性:分析、综合、实现。 (Robustesse dans les自动化时间:分析、合成、实现)。 法国巴黎卡尚正常供应, 2013 [第11条] 奥坎·桑库尔 :
Shrinktech:时间自动机鲁棒性分析工具。 CAV汽车 2013 : 1006-1012 [第10条] 奥坎·桑库尔 , 帕特里夏·布耶 , 尼古拉斯·马基 , 皮尔雷·阿莱恩·雷尼尔 :
时间自动机中的鲁棒控制器综合。 同意 2013 : 546-560 【c9】 帕特里夏·布耶 , 尼古拉斯·马基 , 奥坎·桑库尔 :
强健的加权时间自动机和游戏。 格式 2013 : 31-46 [c8] 帕特里夏·布耶 , 尼古拉斯·马基 , 奥坎·桑库尔 :
时间自动机中的鲁棒性。 RP公司 2013 : 1-18 2012 【c7】 罗曼·布伦吉尔 , 斯特凡·格勒 , 奥坎·桑库尔 :
简洁表示的有限状态系统的比较。 同意 2012 : 147-161 【c6】 帕特里夏·布耶 , 尼古拉斯·马基 , 奥坎·桑库尔 :
时间自动机中的鲁棒可达性:基于游戏的方法。 ICALP(二) 2012 : 128-140 2011 【c5】 帕特里夏·布耶 , 金·拉森 , 尼古拉斯·马基 , 奥坎·桑库尔 , 克劳斯·苏兰 :
定时自动机总是可以实现的。 同意 2011 : 76-91 【c4】 帕特里夏·布耶 , 尼古拉斯·马基 , 奥坎·桑库尔 :
基于渠道抽水机的时间自动机鲁棒模型检验。 格式 2011 : 97-112 【c3】 奥坎·桑库尔 , 帕特里夏·布耶 , 尼古拉斯·马基 :
收缩时间自动机。 FSTTCS公司 2011 : 90-102 【c2】 奥坎·桑库尔 :
时间系统中的非时间语言保存。 MFCS公司 2011 : 556-567 2010 【c1】 克莱尔·马修 , 奥坎·桑库尔 , 沃伦·舒迪 :
在线相关聚类。 STACS公司 2010 : 573-584 [i1] 克莱尔·马修 , 奥坎·桑库尔 , 沃伦·舒迪 :
在线相关聚类。 CoRR公司 abs/1001.0920 ( 2010 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)