1.The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games

作　　者：Thomas Brihaye ;Vronique Bruy{\`e}re ;Aline Goeminne 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.13

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891921

文章详细全文下载

2.Energy Mean-Payoff Games

作　　者：Vronique Bruy{\`e}re ;Quentin Hautem ;Mickael Randour 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.21

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891929

文章详细全文下载

3.Expected Window Mean-Payoff

作　　者：Benjamin Bordais ;Shibashis Guha ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.32

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：241519886

文章详细全文下载

4.Minkowski Games

作　　者：St{\'e}phane Le Roux ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:50:1-50:13.doi:10.4230/LIPIcs.STACS.2017.50

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698379

文章详细全文下载

5.Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes

作　　者：Rapha{\"e}l Berthon ;Mickael Randour ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:121:1-121:15.doi:10.4230/LIPIcs.ICALP.2017.121

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372075

文章详细全文下载

6.Admissiblity in Concurrent Games

作　　者：Nicolas Basset ;Gilles Geeraerts ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:123:1-123:14.doi:10.4230/LIPIcs.ICALP.2017.123

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372077

文章详细全文下载

7.Admissibility in Games with Imperfect Information (Invited Talk)

作　　者：Romain Brenguier ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:2:1-2:23.doi:10.4230/LIPIcs.CONCUR.2017.2

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735168

文章详细全文下载

8.Weighted Transducers for Robustness Verification

作　　者：Emmanuel Filiot ;Nicolas Mazzocchi ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:17:1-17:21.doi:10.4230/LIPIcs.CONCUR.2020.17

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822876

文章详细全文下载

9.The Adversarial Stackelberg Value in Quantitative Games

作　　者：Emmanuel Filiot ;Raffaella Gentilini ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:127:1-127:18.doi:10.4230/LIPIcs.ICALP.2020.127

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823162

文章详细全文下载

10.Generalized Mean-payoff and Energy Games

作　　者：Krishnendu Chatterjee ;Laurent Doyen ;Thomas A. Henzinger 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:505-516.doi:10.4230/LIPIcs.FSTTCS.2010.505

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845797

文章详细全文下载

	2020	2篇
	2019	3篇
	2018	4篇
	2017	4篇
	2016	2篇

	2015	2篇
	2014	1篇
	2010	1篇

	Jean-Fran{\c{c}}ois Raskin	19篇
	Emmanuel Filiot	4篇
	Arno Pauly	3篇
	Guillermo A. P{\'e}rez	3篇
	Mickael Randour	3篇

	Ocan Sankur	3篇
	Gilles Geeraerts	2篇
	Nicolas Basset	2篇
	Paul Hunter	2篇
	Quentin Hautem	2篇
	Raffaella Gentilini	2篇
	Romain Brenguier	2篇
	Shibashis Guha	2篇
	Vronique Bruy{\`e}re	2篇
	V{\'e}ronique Bruy{\`e}re	2篇
	Aline Goeminne	1篇
	Ashutosh Trivedi	1篇
	Benjamin Bordais	1篇
	Isma{\"e}l Jecker	1篇
	Jan Kret{\'i}nsk{\'y	1篇
	Krishnendu Chatterjee	1篇
	Laurent Doyen	1篇
	Marie Van den Bogaard	1篇
	Marie van den Bogaard	1篇
	Nicolas Mazzocchi	1篇
	Rapha{\"e}l Berthon	1篇
	Rodica Condurache	1篇
	Sriram Sankaranarayanan	1篇
	St{\'e}phane Le Roux	1篇
	Thomas A. Henzinger	1篇
	Thomas Brihaye	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jean-Fran{\c{c}}ois Raskin")))) )) ) )"