×
作者ID: 拉斯金·珍妮·弗朗索瓦“Raskin,Jean-François”最近发表的zbMATH文章
发布日期: 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 杨文池

按年份列出的出版物

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名

被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多位作者

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.