1.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

文章详细全文下载
2.A SAT Encoding for Solving Games with Energy Objectives

作　　者：Raffaella Gentilini

出　　处：Computer Science & Information Technology. 2014 ;4(1):45-52.doi:10.5121/csit.2014.4105

出版社：Academy & Industry Research Collaboration Center (AIRCC)

文章 ID：216805117

文章详细全文下载
3.Quantitative Languages Defined by Functional Automata

作　　者：Emmanuel Filiot ;Raffaella Gentilini ;Jean-François Raskin

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:14)2015

出版社：Technical University of Braunschweig

文章 ID：264692085

文章详细全文下载
4.Finite-Valued Weighted Automata

作　　者：Emmanuel Filiot ;Raffaella Gentilini ;Jean-Francois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:133-145.doi:10.4230/LIPIcs.FSTTCS.2014.133

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

文章 ID：186846641

文章详细全文下载
5.The Complexity of Rational Synthesis

作　　者：Rodica Condurache ;Emmanuel Filiot ;Raffaella Gentilini 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:121:1-121:15.doi:10.4230/LIPIcs.ICALP.2016.121

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

文章 ID：186847718

文章详细全文下载

	德国	4篇
	印度	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Raffaella Gentilini")))) )) ) )"

	Raffaella Gentilini	5篇
	Emmanuel Filiot	4篇
	Jean-Fran{\c{c}}ois Raskin	2篇
	Jean-Francois Raskin	1篇
	Jean-François Raskin	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Computer Science & Information Technology	1篇
	Logical Methods in Computer Science	1篇

	2020	1篇
	2016	1篇
	2015	1篇
	2014	2篇