编辑配置文件(在新选项卡中打开) Jean-François拉斯金 合著者距离 作者ID: 拉斯金·珍妮·弗朗索瓦 发布日期: Jean-François拉斯金;Jean-Francois拉斯金;J.-F.拉斯金。;J.F.拉斯金。 更多。。。较少的 主页: https://verif.ulb.ac.be/jfr/ 外部链接: MGP公司·ORCID公司·维基数据·谷歌学者·数据库许可证·ID参考·论文.fr 已编制索引的文档: 157出版物自1998年以来 9作为编辑的贡献 合著者: 95位合著者具有165联合出版物 1871合著作者 全部的 前5名合著者 1 单作者的 29 劳伦特·多恩 27 维罗尼克·布鲁埃 23 艾曼纽·菲利奥特 17 吉勒·杰勒茨 16 吉列尔莫·A·佩雷斯。 15 劳伦特·范·贝京 14 托马斯·亨辛格(Thomas A.Henzinger)。 13 托马斯·布里海耶 13 米凯尔·兰多尔 11 克里希南德·查特吉 10 保罗·亨特 10 奥坎·桑库尔 8 马丁·德·沃尔夫 7 罗曼·布伦吉尔 7 庆蒂里尼、拉斐拉 6 弗兰克·卡塞兹 6 皮埃尔·甘蒂 6 阿诺·保利。 5 金·古德斯特兰·拉森 5 尼古拉斯·马佐奇 5 皮埃尔·伊夫·肖本斯 4 阿琳·戈敏 4 什巴希斯·古哈 4 圣埃芬·勒鲁 4 鲁帕克·马朱姆达尔 4 尼古拉斯·梅奎特 4 尼古拉斯·马基 4 皮埃尔·阿莱·雷尼尔 4 弗雷德里克·塞瓦伊斯 三 尼古拉斯·巴塞特 三 拉斐尔·伯顿 三 乔治·德尔扎诺 三 阿兰·芬克尔 三 昆廷豪特 三 纳塔利·斯兹纳杰德 三 范登,博加德·玛丽 2 亚伦·波希 2 大卫·布雷索林 2 莱昂纳德·布里斯 2 达米安·巴斯托·加斯顿 2 查克拉波蒂,德布拉吉 2 洛伦佐·克莱门特 2 伊曼纽尔·达勒奥利奥 2 亚历山大·戴维 2 亚历山大·休纳 2 伊斯马·杰克 2 Jin、Naiyong 2 简·Křetínsk 2 特里斯坦勒加尔 2 梅尼尔,不 2 Ouaknine,Joel O。 2 M·普拉文。 2 马修·萨索拉斯 2 Jean-Marc Talbot 2 塔米内斯,克莱门特 2 玛丽·范登·博加德 2 詹姆斯·沃雷尔。 1 穆鲁杜拉·巴拉昌德 1 Nathalie Bertrand 1 Bodlaender,Hans L。 1 阿德里安·博伊雷特 1 本杰明·博代斯 1 帕特里夏·鲍耶 1 卢博什·布里姆 1 彼得·布利切夫(Peter E.Bulychev)。 1 查洛普卡,雅库布 1 玛莎·契契克 1 塞巴斯蒂安·科莱特 1 罗德卡·孔杜拉克 1 帕特里克·库索 1 吕克·德·雷德 1 奥尔德里克·德戈尔 1 迪詹保罗,芭芭拉 1 马克·杜科布 1 哈维尔·埃斯帕尔扎 1 劳伦特·费里尔 1 Jan J.杰森。 1 Jin、Nayiong 1 Juhl,线路 1 加布里埃尔·卡里恩 1 史蒂夫·克莱默 1 勒鲁,杰罗姆 1 内森·勒霍特 1 青柠,迪迪埃 1 Freddy Y.C.Mang。 1 Vinayak S.普拉布。 1 亚历山大·拉比诺维奇 1 朱利安·莱切特 1 桑卡拉纳拉亚南,斯里拉姆 1 所罗门·西克特 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 西门托伦奇克 1 阿舒托什·特里维迪 1 纱线维纳 1 杨文池 全部的 前5名系列 8 信息与计算 7 信息学报 6 系统设计中的形式化方法 6 计算机科学中的逻辑方法 5 理论计算机科学 4 计算机科学课堂讲稿 三 计算机与系统科学杂志 三 ACM计算逻辑事务 2 国际计算机科学基础杂志 2 计算机基础理论 2 LIPIcs–莱布尼茨国际信息学会议录 2 理论计算机科学电子论文集(EPTCS) 1 信息处理信件 1 计算的形式方面 1 机器学习 1 自动机、语言和组合数学杂志 全部的 前5名字段 156 计算机科学(68-XX) 63 博弈论、经济学、金融和其他社会和行为科学(91-XX) 22 数学逻辑和基础(03-XX) 13 运筹学、数学规划(90-XX) 11 系统论;控制(93至XX) 9 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 141出版物有1128年被引用中的次582文件 引用人▼ 年份▼ 平均游戏的更快算法。 Zbl 1213.68430号 布里姆·L。;查洛普卡,J。;Doyen,L。;Gentilini,R。;拉斯金,J.F。 46 2011 反链:一种检查有限自动机通用性的新算法。 兹比尔1188.68171 德沃尔夫,M。;Doyen,L。;亨廷格,T.A。;J.-F.拉斯金。 42 2006 广义平均分摊和能量博弈。 兹比尔1245.68090 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 37 2010 不完全信息下欧米伽规则博弈的算法。 Zbl 1125.91028号 Jean-Francois拉斯金;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 32 2007 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 关于加权时间自动机的最优可达性问题。 Zbl 1129.68039号 帕特里夏·鲍耶;托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 28 2007 多维量化目标的战略合成。 Zbl 1360.68208号 克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 26 2014 时间自动机的鲁棒安全性。 Zbl 1165.68392号 马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;Jean-François拉斯金 20 2008 不完全信息下欧米伽规则博弈的算法。 Zbl 1225.91012号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 19 2006 定时系统和混合系统的鲁棒不可判定性。 Zbl 0944.93018号 托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 18 2000 随机最短路径问题的变化。 Zbl 1432.90155号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 18 2015 LTL合成的反链和合成算法。 Zbl 1258.03046号 艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 18 2011 LTL可实现性的反链算法。 Zbl 1242.68158号 艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 17 2009 反链:LTL可满足性和模型检查的替代算法。 兹比尔1134.68404 德沃尔夫,M。;Doyen,L。;新泽西州梅奎特。;J.-F.拉斯金。 17 2008 加权时间自动机的模型检查。 兹比尔1109.68512 托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 16 2004 几乎ASAP语义:从定时模型到定时实现。 Zbl 1101.68670号 马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 16 2005 有限自动机的反链算法。 Zbl 1284.68348号 劳伦特·多恩;Jean-François拉斯金 16 2010 信息不完全的能量和平庸游戏。 Zbl 1287.91028号 奥尔德里克·德戈尔;劳伦特·多恩;庆蒂里尼、拉斐拉;Jean-François拉斯金;西门托伦奇克 16 2010 通过窗口查看平均值和总值。 Zbl 1317.68065号 克里希南德·查特吉;劳伦特·多恩;米凯尔·兰多尔;Jean-François拉斯金 15 2015 关于最佳时间策略。 Zbl 1175.68241号 托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 14 2005 标记马尔可夫链的等价性。 Zbl 1155.68035号 劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 14 2008 基于LTL规范与平均值目标的综合。 Zbl 1381.68149号 亚伦·波希;维罗尼克·布鲁埃;艾曼纽·菲利奥特;Jean-François拉斯金 14 2013 符号转换系统的分类。 Zbl 1367.68193号 托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;Jean-François拉斯金 14 2005 扩展、放大和检查:WSTS可覆盖性问题的新算法。 Zbl 1105.68084号 Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 14 2006 仿射混合系统的自动矩形精化。 Zbl 1175.68243号 劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 13 2005 事件时钟的逻辑。可决定性、复杂性和表达能力。 Zbl 0978.03015号 Jean-François拉斯金;皮埃尔·伊夫·肖本斯 13 1999 面向多线程Java程序的自动验证。 Zbl 1043.68530号 乔治·德尔扎诺;Jean-François拉斯金;劳伦特·范·贝京 13 2002 假设允许合成。 Zbl 1362.68202号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 13 2017 基于自动机的模型检查方法的反链。 Zbl 1164.68021号 劳伦特·多恩;Jean-François拉斯金 12 2009 鲁棒和最优控制器的自动综合——一个工业案例研究。 Zbl 1237.93058号 弗兰克·卡塞兹;Jan J.杰森。;Larsen,Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 12 2009 结构良好的语言。 Zbl 1119.68105号 吉勒·杰勒茨;Jean-François拉斯金;劳伦特·范·贝京 12 2007 定时系统和混合系统控制问题的比较。 Zbl 1044.93518号 弗兰克·卡塞兹;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 12 2002 反应合成的非零和对策。 兹比尔1435.68147 罗曼·布伦吉尔;洛伦佐·克莱门特;保罗·亨特;吉列尔莫·A·佩雷斯。;米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔;马修·萨索拉斯 12 2016 多权重和参数化能量对策的最优界。 Zbl 1390.68399号 Juhl,线路;金·古德斯特兰·拉森;Jean-François拉斯金 12 2013 保证满足您的期望:超越定量游戏中的最坏情况合成。 Zbl 1371.91022号 维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 12 2017 欧米伽规则游戏中可容许性的复杂性。 Zbl 1401.68110号 罗曼·布伦吉尔;Jean-François拉斯金;马修·萨索拉斯 11 2014 加权博弈中的安全均衡。 Zbl 1401.91012号 维罗尼克·布鲁埃;梅尼尔,不;Jean-François拉斯金 11 2014 解不完全信息博弈的格理论。 Zbl 1178.93072号 马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 11 2006 关于弱子博弈完美均衡的存在性。 Zbl 1486.91016号 维罗尼克·布鲁埃;勒鲁克斯,圣潘;阿诺·保利;Jean-François拉斯金 11 2017 理性综合的复杂性。 Zbl 1388.68163号 罗德卡·孔杜拉克;艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 11 2016 关于带秒表观测器的模型检查时间自动机。 Zbl 1094.68055号 托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 10 2006 WSTS覆盖性属性的完整抽象解释框架。 Zbl 1176.68119号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 9 2006 实时逻辑公理。 Zbl 0928.03022号 J.-F.拉斯金。;肖本斯,P.-Y。;亨廷格,T.A。 9 1998 基于自动机的模型检查方法的改进算法。 Zbl 1186.68285号 劳伦特·多恩;Jean-François拉斯金 9 2007 限时游戏中的最短时间可达性。 Zbl 1171.68526号 托马斯·布里海耶;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。;Jean-François拉斯金 9 2007 从LTL和极限确定性Büchi自动机到确定性奇偶自动机。 Zbl 1452.68105号 哈维尔·埃斯帕尔扎;简·Křetínsk;Jean-François拉斯金;所罗门·西克特 9 2017 马尔可夫决策过程中具有奇偶目标保证的阈值约束。 Zbl 1442.90199号 拉斐尔·伯顿;米凯尔·兰多尔;Jean-François拉斯金 9 2017 多维马尔可夫决策过程中的百分比查询。 Zbl 1381.68219号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 9 2015 保证满足您的期望:超越定量游戏中的最坏情况合成。 Zbl 1360.91042号 维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 9 2014 定量图形游戏中的可容许性。 Zbl 1394.91058号 罗曼·布伦吉尔;吉列尔莫·A·佩雷斯。;Jean-Francois拉斯金;奥坎·桑库尔 8 2016 游戏属性的抽象解释。 Zbl 0966.68150号 托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;弗莱迪·芒;Jean-François拉斯金 8 2000 由函数自动机定义的定量语言。 Zbl 1448.68263号 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 8 2015 弱子博弈完美均衡及其在定量可达性中的应用。 Zbl 1375.91042号 托马斯·布里海耶;维罗尼克·布鲁埃;梅尼尔,不;Jean-François拉斯金 8 2015 假设允许合成。 兹比尔1374.68322 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 8 2015 不完全信息博弈:理论与算法。 Zbl 1229.91080号 劳伦特·多恩;Jean-François拉斯金 8 2011 实时逻辑公理。 Zbl 0994.03009号 肖本斯,P.-Y。;J.-F.拉斯金。;亨廷格,T.A。 7 2002 定点引导的抽象优化。 Zbl 1211.68083号 帕特里克·库索;皮埃尔·甘蒂;Jean-François拉斯金 7 2007 基于观察和断续不变策略的时间控制。 Zbl 1141.68428号 弗兰克·卡塞兹;亚历山大·戴维;Larsen,Kim G。;青柠,迪迪埃;Jean-François拉斯金 7 2007 时间自动机的鲁棒性和可实现性。 Zbl 1109.68504号 马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;Jean-François拉斯金 7 2004 具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 Zbl 1524.91017号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金 7 2018 多维马尔可夫决策过程中的百分比查询。 Zbl 1360.68518号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 7 2017 计算抽象概念的游戏。 Zbl 1272.91014号 J.-F.拉斯金。;Samuelides,M。;范·贝京,L。 7 2005 LTL合成的合成算法。 Zbl 1305.68118号 艾曼纽·菲利奥特;Jin、Nayiong;Jean-François拉斯金 7 2010 能量和平均值计时游戏。 Zbl 1362.91003号 罗曼·布伦吉尔;弗兰克·卡塞兹;Jean-François拉斯金 7 2014 由函数自动机定义的定量语言。 Zbl 1364.68250号 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 7 2012 可视下压传感器。 Zbl 1155.68420号 Jean-François拉斯金;弗雷德里克·塞瓦伊斯 6 2008 实时模型检查:到处都是参数。 Zbl 1128.68052号 维罗尼克·布鲁埃;Jean-François拉斯金 6 2007 持续时间,使用Presburger算法在时间自动机中进行参数模型检查。 Zbl 1035.68063号 维罗尼克·布鲁埃;伊曼纽尔·达勒奥利奥;Jean-François拉斯金 6 2003 欧米茄规则游戏的末日平衡。 Zbl 1428.68181号 克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 6 2014 多维均值对负博弈的帕累托曲线。 Zbl 1382.91012号 罗曼·布伦吉尔;Jean-François拉斯金 6 2015 Petri网的单调扩展:回顾了向前和向后搜索。 Zbl 1270.68214号 芬克尔,A。;J.-F.拉斯金。;Samuelides,M。;范·贝京,L。 6 2003 有界时间上混合自动机的可达性。 Zbl 1300.68033号 托马斯·布里海耶;劳伦特·多恩;吉勒·杰勒茨;约尔·瓦克宁;Jean-François拉斯金;詹姆斯·沃雷尔 6 2011 可视下推换能器的特性。 Zbl 1287.68095号 艾曼纽·菲利奥特;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔;弗雷德里克·塞瓦伊斯;Jean-Marc Talbot 6 2010 基于游戏的不可否认性和公平交换协议验证。 Zbl 1006.68528号 史蒂夫·克莱默;Jean-François拉斯金 5 2001 针对平均值目标的多维超越最坏情况和几乎最安全的问题。 Zbl 1401.68117号 洛伦佐·克莱门特;Jean-François拉斯金 5 2015 max-plus自动机的延迟和后悔判定。 Zbl 1457.68142号 艾曼纽·菲利奥特;伊斯马·杰克;内森·勒霍特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 5 2017 异质多维博弈的复杂性。 Zbl 1392.68198号 维罗尼克·布鲁埃;昆廷豪特;Jean-François拉斯金 5 2016 带有输出的自动机的模式逻辑。 Zbl 1458.68096号 艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 5 2018 有限值加权自动机。 兹比尔1360.68554 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 5 2014 多维量化目标的战略合成。 Zbl 1364.68278号 克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 5 2012 欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 Zbl 1520.90206号 简·Křetínsk;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 5 2018 几乎ASAP语义:从定时模型到定时实现。 兹比尔1135.93345 马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 4 2004 关于扩展Petri网的(\omega)语言表达能力。 Zbl 1092.68066号 芬克尔,A。;Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 4 2006 定量可达博弈中子博弈完美均衡的复杂性。 Zbl 1519.91051号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;范登,博加德·玛丽 4 2019 带有部分观测的均值-支付博弈(扩展抽象)。 Zbl 1393.68106号 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 4 2014 关于扩展Petri网的(\omega)语言表达能力。 Zbl 1272.68302号 芬克尔,A。;Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 4 2005 事件时钟自动机:从理论到实践。 Zbl 1348.68102号 吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 4 2011 定时规范的非安全程序。 Zbl 1290.68070号 迪詹保罗,芭芭拉;吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 4 2010 实时逻辑的可实现性。 Zbl 1262.68117号 劳伦特·多恩;吉勒·杰勒茨;Jean-Francois拉斯金;朱利安·莱切特 4 2009 从多到少:Petri网的自动抽象精化。 Zbl 1154.68087号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2008 从多到少:Petri网的自动抽象求精。 Zbl 1226.68054号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2007 关于Petri网最小覆盖集的有效计算。 Zbl 1141.68507号 吉勒·杰勒茨;Jean-François拉斯金;劳伦特·范·贝京 三 2007 透过雾蒙蒙的窗户看平均回报。 兹比尔1408.91045 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 三 2018 能量平均值游戏。 Zbl 07649929号 维罗尼克·布鲁埃;昆廷豪特;米凯尔·兰多尔;Jean-François拉斯金 三 2019 定量可达博弈中子博弈完美均衡的复杂性。 Zbl 1519.91050号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;玛丽·范登·博加德 三 2020 不完全信息下的理性综合。 Zbl 1452.91014号 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 三 2018 并发游戏中的可接纳性。 Zbl 1442.68124号 尼古拉斯·巴塞特;吉勒·杰勒茨;Jean-François拉斯金;奥坎·桑库尔 三 2017 \(\omega\)-Petri网:算法和复杂性。 Zbl 1335.68172号 吉勒·杰勒茨;亚历山大·休纳;M·普拉文。;Jean-François拉斯金 三 2015 “最初”和“下一步”的逻辑:完全公理化和复杂性。 Zbl 1338.03027号 肖本斯,P.-Y。;J.-F.拉斯金。 三 1999 无遗憾的反应合成。 Zbl 1364.68263号 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 三 2017 Stackelberg-Pareto合成。 Zbl 07730629号 维罗尼克·布鲁埃;Jean-François拉斯金;塔米内斯,克莱门特 2 2021 具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 Zbl 1501.91028号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金 1 2021 平均对弈游戏中的子游戏完美均衡。 Zbl 07730610号 莱昂纳德·布里斯;Jean-François拉斯金;范登,博加德·玛丽 1 2021 平均对战Stackelberg游戏的脆弱性和健壮性。 Zbl 07730611号 穆鲁杜拉·巴拉昌德;什巴希斯·古哈;Jean-François拉斯金 1 2021 定量可达博弈中子博弈完美均衡的复杂性。 Zbl 1519.91050号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;玛丽·范登·博加德 三 2020 用于稳健性验证的加权换能器。 Zbl 07559473号 艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金;桑卡拉纳拉亚南,斯里拉姆;阿舒托什·特里维迪 2 2020 MDP符号建议引导的蒙特卡罗树搜索。 兹伯利07559496 达米安·巴斯托·加斯顿;查克拉波蒂,德布拉吉;Jean-François拉斯金 1 2020 定量可达博弈中子博弈完美均衡的复杂性。 Zbl 1519.91051号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金;范登,博加德·玛丽 4 2019 能量平均值游戏。 Zbl 07649929号 维罗尼克·布鲁埃;昆廷豪特;米凯尔·兰多尔;Jean-François拉斯金 三 2019 预期窗口平均收益。 Zbl 07650329号 本杰明·博代斯;什巴希斯·古哈;Jean-François拉斯金 2 2019 具有(ω)-正则布尔目标的弱子对策完美平衡点的约束存在性问题。 Zbl 1524.91017号 托马斯·布里海耶;维罗尼克·布鲁埃;阿琳·戈敏;Jean-François拉斯金 7 2018 带有输出的自动机的模式逻辑。 Zbl 1458.68096号 艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 5 2018 欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 Zbl 1520.90206号 简·Křetínsk;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 5 2018 透过雾蒙蒙的窗户看平均回报。 兹比尔1408.91045 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 三 2018 不完全信息下的理性综合。 Zbl 1452.91014号 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 三 2018 具有单调有序\(\omega \)-正则目标的博弈的参数化复杂性。 Zbl 1520.68046号 维罗尼克·布鲁埃;昆廷豪特;Jean-François拉斯金 三 2018 可视下压传感器。 Zbl 1398.68307号 艾曼纽·菲利奥特;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔;弗雷德里克·塞瓦伊斯;Jean-Marc Talbot 三 2018 部分观测的平均收益博弈。 Zbl 1393.68105号 保罗·亨特;阿诺·保利;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 1 2018 超越可接受性:战略链之间的主导地位。 Zbl 1528.91015号 尼古拉斯·巴塞特;伊斯马·杰克;阿诺·保利;Jean-François拉斯金;范登,博加德·玛丽 1 2018 非布尔域中的符号模型检查。 Zbl 1392.68259号 鲁帕克·马朱姆达尔;Jean-François拉斯金 1 2018 Minkowski游戏。 Zbl 1407.91066号 勒鲁克斯,圣潘;阿诺·保利;Jean-François拉斯金 1 2018 假设允许合成。 Zbl 1362.68202号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 13 2017 保证满足您的期望:超越定量游戏中的最坏情况合成。 Zbl 1371.91022号 维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 12 2017 关于弱子博弈完美均衡的存在性。 Zbl 1486.91016号 维罗尼克·布鲁埃;勒鲁克斯,圣潘;阿诺·保利;Jean-François拉斯金 11 2017 从LTL和极限确定性Büchi自动机到确定性奇偶自动机。 Zbl 1452.68105号 哈维尔·埃斯帕尔扎;简·Křetínsk;Jean-François拉斯金;所罗门·西克特 9 2017 马尔可夫决策过程中具有奇偶目标保证的阈值约束。 Zbl 1442.90199号 拉斐尔·伯顿;米凯尔·兰多尔;Jean-François拉斯金 9 2017 多维马尔可夫决策过程中的百分比查询。 Zbl 1360.68518号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 7 2017 max-plus自动机的延迟和后悔判定。 Zbl 1457.68142号 艾曼纽·菲利奥特;伊斯马·杰克;内森·勒霍特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 5 2017 并发游戏中的可接纳性。 Zbl 1442.68124号 尼古拉斯·巴塞特;吉勒·杰勒茨;Jean-François拉斯金;奥坎·桑库尔 三 2017 无遗憾的反应合成。 Zbl 1364.68263号 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 三 2017 Minkowski游戏。 Zbl 1402.91089号 勒鲁克斯,圣潘;阿诺·保利;Jean-François拉斯金 2 2017 时间游戏中可接受的策略。 Zbl 1431.68069号 尼古拉斯·巴塞特;Jean-François拉斯金;奥坎·桑库尔 1 2017 带有Presburger组合子的可判定加权表达式。 Zbl 1429.68112号 艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 1 2017 第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,2017年MFCS,丹麦奥尔堡。 Zbl 1376.68011号 1 2017 欧米茄规则游戏的末日平衡。 Zbl 1370.68164号 克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 1 2017 反应合成的非零和对策。 兹比尔1435.68147 罗曼·布伦吉尔;洛伦佐·克莱门特;保罗·亨特;吉列尔莫·A·佩雷斯。;米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔;马修·萨索拉斯 12 2016 理性综合的复杂性。 Zbl 1388.68163号 罗德卡·孔杜拉克;艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 11 2016 定量图形游戏中的可容许性。 Zbl 1394.91058号 罗曼·布伦吉尔;吉列尔莫·A·佩雷斯。;Jean-Francois拉斯金;奥坎·桑库尔 8 2016 异质多维博弈的复杂性。 Zbl 1392.68198号 维罗尼克·布鲁埃;昆廷豪特;Jean-François拉斯金 5 2016 用于构建和分析系统的工具和算法。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。 Zbl 1360.68008号 2 2016 尽可能减少折扣游戏中的遗憾。 Zbl 1369.91036号 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 2 2016 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;亚历山大·拉宾诺维奇;Jean-François拉斯金 31 2015 随机最短路径问题的变化。 Zbl 1432.90155号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 18 2015 通过窗口查看平均值和总值。 兹比尔1317.68065 克里希南德·查特吉;劳伦特·多恩;米凯尔·兰多尔;Jean-François拉斯金 15 2015 多维马尔可夫决策过程中的百分比查询。 Zbl 1381.68219号 米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 9 2015 由函数自动机定义的定量语言。 Zbl 1448.68263号 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 8 2015 弱子博弈完美均衡及其在定量可达性中的应用。 Zbl 1375.91042号 托马斯·布里海耶;维罗尼克·布鲁埃;梅尼尔,不;Jean-François拉斯金 8 2015 假设可容许合成。 Zbl 1374.68322号 罗曼·布伦吉尔;Jean-François拉斯金;奥坎·桑库尔 8 2015 多维均值对负博弈的帕累托曲线。 Zbl 1382.91012号 罗曼·布伦吉尔;Jean-François拉斯金 6 2015 针对平均值目标的多维超越最坏情况和几乎最安全的问题。 Zbl 1401.68117号 洛伦佐·克莱门特;Jean-François拉斯金 5 2015 \(\omega\)-Petri网:算法和复杂性。 Zbl 1335.68172号 吉勒·杰勒茨;亚历山大·休纳;M·普拉文。;Jean-François拉斯金 三 2015 多维量化目标的战略合成。 Zbl 1360.68208号 克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 26 2014 欧米伽规则游戏中可容许性的复杂性。 Zbl 1401.68110号 罗曼·布伦吉尔;Jean-François拉斯金;马修·萨索拉斯 11 2014 加权博弈中的安全均衡。 Zbl 1401.91012号 维罗尼克·布鲁埃;梅尼尔,不;Jean-François拉斯金 11 2014 保证满足您的期望:超越定量游戏中的最坏情况合成。 Zbl 1360.91042号 维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 9 2014 能量和平均值计时游戏。 Zbl 1362.91003号 罗曼·布伦吉尔;弗兰克·卡塞兹;Jean-François拉斯金 7 2014 欧米茄规则游戏的末日平衡。 Zbl 1428.68181号 克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 6 2014 有限值加权自动机。 Zbl 1360.68554号 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 5 2014 带有部分观测的均值-支付博弈(扩展抽象)。 Zbl 1393.68106号 保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 4 2014 用于验证和分析的自动化技术。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。 Zbl 1325.68014号 2 2014 事件锁自动机的区域和区域。 Zbl 1314.68176号 吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 1 2014 期望还是保证?我都想要!游戏和MDP之间的十字路口。 Zbl 1464.68125号 维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 1 2014 多环境马尔可夫决策过程。 Zbl 1360.68598号 Jean-François拉斯金;奥坎·桑库尔 1 2014 基于LTL规范与平均值目标的综合。 Zbl 1381.68149号 亚伦·波希;维罗尼克·布鲁埃;艾曼纽·菲利奥特;Jean-François拉斯金 14 2013 多权重和参数化能量对策的最优界。 Zbl 1390.68399号 Juhl,线路;金·古德斯特兰·拉森;Jean-François拉斯金 12 2013 \(\omega\)-Petri网。 Zbl 1381.68202号 吉勒·杰勒茨;亚历山大·赫斯纳;M·普拉文。;Jean-François拉斯金 三 2013 通过窗口查看平均值和总值。 Zbl 1415.91065号 克里希南德·查特吉;劳伦特·多恩;米凯尔·兰多尔;Jean-François拉斯金 三 2013 单调混合自动机的有时限可达性:复杂性和不动点。 Zbl 1410.68198号 托马斯·布里海耶;劳伦特·多恩;吉勒·杰勒茨;乔尔·瓦克宁;Jean-Francois拉斯金;詹姆斯·沃雷尔 2 2013 由函数自动机定义的定量语言。 兹比尔1364.68250 艾曼纽·菲利奥特;庆蒂里尼、拉斐拉;Jean-François拉斯金 7 2012 多维量化目标的战略合成。 Zbl 1364.68278号 克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金 5 2012 平均收益游戏的更快算法。 Zbl 1213.68430号 布里姆·L。;查洛普卡,J。;Doyen,L。;Gentilini,R。;J.F.拉斯金。 46 2011 LTL合成的反链和合成算法。 Zbl 1258.03046号 艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 18 2011 不完全信息的博弈:理论和算法。 Zbl 1229.91080号 劳伦特·多恩;Jean-François拉斯金 8 2011 有界时间上混合自动机的可达性。 Zbl 1300.68033号 托马斯·布里海耶;劳伦特·多恩;吉勒·杰勒茨;约尔·瓦克宁;Jean-François拉斯金;詹姆斯·沃雷尔 6 2011 事件时钟自动机:从理论到实践。 Zbl 1348.68102号 吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 4 2011 基于反链的QBF求解。 Zbl 1348.68224号 托马斯·布里海耶;维罗尼克·布鲁埃;劳伦特·多恩;马克·杜科布;Jean-Francois拉斯金 2 2011 广义平均分摊和能量博弈。 Zbl 1245.68090号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 37 2010 有限自动机的反链算法。 Zbl 1284.68348号 劳伦特·多恩;Jean-François拉斯金 16 2010 信息不完全的能量和平庸游戏。 Zbl 1287.91028号 奥尔德里克·德戈尔;劳伦特·多恩;庆蒂里尼、拉斐拉;Jean-François拉斯金;西门托伦奇克 16 2010 LTL合成的合成算法。 Zbl 1305.68118号 艾曼纽·菲利奥特;Jin、Nayiong;Jean-François拉斯金 7 2010 可视下推换能器的特性。 Zbl 1287.68095号 艾曼纽·菲利奥特;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔;弗雷德里克·塞瓦伊斯;Jean-Marc Talbot 6 2010 定时规范的非安全程序。 Zbl 1290.68070号 迪詹保罗,芭芭拉;吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 4 2010 交替自动机的定点引导抽象精化。 Zbl 1207.68186号 皮埃尔·甘蒂;尼古拉斯·梅奎特;Jean-François拉斯金 1 2010 游戏图中的重复后悔最小化。 Zbl 1287.91029号 艾曼纽·菲利奥特;特里斯坦勒加尔;Jean-François拉斯金 1 2010 LTL可实现性的反链算法。 Zbl 1242.68158号 艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 17 2009 基于自动机的模型检查方法的反链。 Zbl 1164.68021号 劳伦特·多恩;Jean-François拉斯金 12 2009 鲁棒和最优控制器的自动综合——一个工业案例研究。 Zbl 1237.93058号 弗兰克·卡塞兹;Jan J.杰森。;Larsen,Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 12 2009 实时逻辑的可实现性。 Zbl 1262.68117号 劳伦特·多恩;吉勒·杰勒茨;Jean-Francois拉斯金;朱利安·莱切特 4 2009 时间自动机的鲁棒安全性。 Zbl 1165.68392号 马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;Jean-François拉斯金 20 2008 反链:LTL可满足性和模型检查的替代算法。 兹比尔1134.68404 德沃尔夫,M。;Doyen,L。;新泽西州梅奎特。;J.-F.拉斯金。 17 2008 标记马尔可夫链的等价性。 Zbl 1155.68035号 劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 14 2008 可视下压传感器。 Zbl 1155.68420号 Jean-François拉斯金;弗雷德里克·塞瓦伊斯 6 2008 从多到少:Petri网的自动抽象求精。 Zbl 1154.68087号 皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 三 2008 时间自动机中的工期和参数模型检查。 Zbl 1367.68183号 维罗尼克·布鲁埃;Dall公司;埃曼纽尔·奥利奥;Jean-François拉斯金 2 2008 不完全信息下欧米伽规则博弈的算法。 Zbl 1125.91028号 Jean-Francois拉斯金;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 32 2007 关于加权时间自动机的最优可达性问题。 Zbl 1129.68039号 帕特里夏·鲍耶;托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 28 2007 结构良好的语言。 Zbl 1119.68105号 吉勒·杰勒茨;Jean-François拉斯金;劳伦特·范·贝京 12 2007 基于自动机的模型检查方法的改进算法。 Zbl 1186.68285号 劳伦特·多恩;Jean-François拉斯金 9 2007 限时游戏中的最短时间可达性。 Zbl 1171.68526号 托马斯·布里海耶;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。;Jean-François拉斯金 9 2007 固定点引导的抽象细化。 Zbl 1211.68083号 帕特里克·库索;皮埃尔·甘蒂;Jean-François拉斯金 7 2007 …还有41个文档 所有引用出版物 前5名被引用出版物 全部的 前5名被863位作者引用 49 Jean-François拉斯金 32 帕特里夏·鲍耶 30 克里希南德·查特吉 26 金·古德斯特兰·拉森 25 尼古拉斯·马基 20 托马斯·亨辛格(Thomas A.Henzinger)。 20 米凯尔·兰多尔 17 托马斯·布里海耶 16 劳伦特·多恩 15 奥尔纳·库普弗曼 15 莫西·亚亚科夫·瓦尔迪 14 维罗尼克·布鲁埃 14 皮埃尔·阿莱·雷尼尔 13 艾曼纽·菲利奥特 13 吉勒·杰勒茨 11 阿兰·芬克尔 10 克里斯特尔·拜尔 9 劳伦特·范·贝京 8 乌里法伦伯格 8 卢卡什·霍利克 8 圣埃芬·勒鲁 8 阿尼埃洛·穆拉诺 8 阿诺·保利。 8 奥坎·桑库尔 7 阿夫尼,盖伊 7 乌迪·博克 7 阿琳·戈敏 7 什巴希斯·古哈 7 青柠,迪迪埃 7 鲁帕克·马朱姆达尔 7 朱塞佩·佩雷利 7 吉·斯尔巴 7 张丽君 7 马丁·齐默尔曼 6 帕罗什·阿齐兹·阿卜杜拉 6 迈克尔·布隆丁 6 Stéphane P.德姆里。 6 Joost-Pieter卡托恩 6 斯特凡·基弗 6 圣菲拉福顿 6 法比奥·莫加维罗 6 尤索夫·乌阿尔哈德 6 吉列尔莫·A·佩雷斯。 6 汤姆·沃纳 5 埃蒂安·安德烈 5 马西莫·贝内雷切蒂 5 劳拉·博泽利 5 达米安·巴斯托·加斯顿 5 丹尼尔·德尔尔巴 5 伯恩德·芬克贝纳 5 马丁·范策尔 5 朱利安·古铁雷斯 5 谢尔盖,哈达德 5 约阿希姆·克莱因 5 简·Křetínsk 5 桑卡拉·纳拉亚南·克里希纳 5 Legay、Axel 5 理查德·梅尔(Richard M.Mayr)。 5 本杰明·蒙梅格 5 卡琳·夸斯 5 西尔万·施密茨 5 阿舒托什·特里维迪 5 皮埃尔·范登霍夫 5 迈克尔·J·伍尔德里奇。 5 詹姆斯·沃雷尔。 4 尼古拉斯·巴塞特 4 Nathalie Bertrand 4 迪特马尔·伯旺格 4 罗德里克·布洛姆 4 马丁·奇梅利克 4 洛伦佐·克莱门特 4 卡洛·科明 4 纳塔娜·菲亚尔科夫 4 塞斯·福格蒂。 4 让·古鲍特·拉雷克 4 海姆,皮尔雷·科里尔 4 洛依茨海露 4 芭芭拉·乔布斯曼 4 塞巴斯蒂安·荣格斯 4 克吕佩尔霍尔茨,萨沙 4 Ondřej Lengál 4 格钦·诺曼 4 奥托普,简 4 Ouaknine,Joel O。 4 尼尔·皮特曼 4 帕维特拉·普拉巴卡 4 蒂姆·夸特曼 4 亚历山大·拉比诺维奇 4 莫妮卡·劳赫·亨津格 4 罗密欧·里兹 4 奥利维尔·H·鲁克斯。 4 斯文·舍韦 4 安妮·凯瑟琳·施穆克 4 弗雷德里克·塞瓦伊斯 4 马赫萨·希尔穆罕默德 4 所罗门·西克特 4 杰里米·斯普洛斯顿 4 纱线维纳 4 马赫什·维斯瓦纳坦 4 乔治·泽采 …和763多位作者 全部的 前5名53篇连载文章中引用 52 信息与计算 32 理论计算机科学 31 系统设计中的形式化方法 27 计算机科学中的逻辑方法 26 信息学报 16 计算机与系统科学杂志 13 离散事件动态系统 9 信息处理信件 7 计算的形式方面 6 计算系统理论 6 ACM计算逻辑事务 5 人工智能 5 Automatica公司 5 实时系统 5 程序设计中的逻辑和代数方法杂志 4 自动推理杂志 4 国际计算机科学基础杂志 4 非线性分析。混合动力系统 三 计算机程序设计科学 三 MSCS公司。计算机科学中的数学结构 三 分布式计算 三 数学与人工智能年鉴 三 计算机基础理论 三 逻辑与代数程序设计杂志 2 国际控制杂志 2 信息科学 2 SIAM计算机杂志 2 算法 2 亚太运筹学杂志 2 逻辑、语言与信息杂志 2 约束条件 2 运筹学的数学方法 2 计算机语言、系统和结构 2 算法 2 游戏 2 计算机科学评论 1 模糊集与系统 1 国际博弈论杂志 1 最优化理论与应用杂志 1 纯逻辑与应用逻辑年鉴 1 模式识别 1 控制论与系统分析 1 经济理论 1 人工智能研究杂志 1 工程中的数学问题 1 美国医学会杂志 1 自然与社会中的离散动力学 1 国际博弈论综述 1 逻辑程序设计理论与实践 1 萨达纳 1 自然计算 1 可满足性、布尔建模与计算杂志 1 理论计算机科学的基础和发展趋势 全部的 前5名18个领域被引用 522 计算机科学(68-XX) 146 博弈论、经济学、金融和其他社会和行为科学(91-XX) 125 数学逻辑和基础(03-XX) 47 系统论;控制(93至XX) 32 运筹学、数学规划(90-XX) 8 组合数学(05-XX) 8 信息与通信理论、电路(94-XX) 5 概率论与随机过程(60-XX) 三 数论(11-XX) 三 范畴理论;同调代数(18-XX) 三 动力系统和遍历理论(37至XX) 2 阶、格、有序代数结构(06-XX) 2 变异微积分和最优控制;最优化(49-XX) 2 生物学和其他自然科学(92-XX) 1 结合环与代数(16-XX) 1 一般拓扑结构(54至XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.