首页期刊浏览 2024年11月23日星期六

登录注册

全文

	有本地全文	8篇
	有全文链接	1篇

出版年度

	2020	1篇
	2017	1篇
	2016	2篇
	2015	1篇
	2014	3篇

2007

1篇

作者

	Jean-Francois Raskin	9篇
	Ocan Sankur	2篇
	Damien Busatto-Gaston	1篇
	Debraj Chakraborty	1篇
	Emmanuel Filiot	1篇

	Guillermo A. P{\'e}rez	1篇
	Hans L. Bodlaender	1篇
	Kim G. Larsen	1篇
	Krishnendu Chatterjee	1篇
	Laurent Doyen	1篇
	No{\'e}mie Meunier	1篇
	Paul Hunter	1篇
	Quentin Hautem	1篇
	Raffaella Gentilini	1篇
	Romain Brenguier	1篇
	Thomas A. Henzinger	1篇
	Thomas Brihaye	1篇
	Veronique Bruyere	1篇
	V{\'e}ronique Bruy{\`e}re	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

9篇

语种

英文

9篇

国别/地区

德国

9篇

检索条件:"( ( 高级检索(( ((AU:(("Jean-Francois Raskin")))) )) ) )"

共 9 条记录

排序：全选导出：

1.Algorithms for Omega-Regular Games with Imperfect Information

作　　者：Jean-Francois Raskin ;Krishnendu Chatterjee ;Laurent Doyen 等

出　　处：Logical Methods in Computer Science. 2007 ;3(03).doi:10.2168/LMCS-3(3:4)2007

出版社：Technical University of Braunschweig

文章 ID：46838667

文章详细全文下载
2.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Kim G. Larsen ;Hans L. Bodlaender ;Jean-Francois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:0:i-0:xvi.doi:10.4230/LIPIcs.MFCS.2017.0

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

文章 ID：205510052

文章详细
3.Monte Carlo Tree Search Guided by Symbolic Advice for MDPs

作　　者：Damien Busatto-Gaston ;Debraj Chakraborty ;Jean-Francois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:40:1-40:24.doi:10.4230/LIPIcs.CONCUR.2020.40

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

文章 ID：255822899

文章详细全文下载
4.Quantitative Games with Interval Objectives

作　　者：Paul Hunter ;Jean-Francois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:365-377.doi:10.4230/LIPIcs.FSTTCS.2014.365

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

文章 ID：186846619

文章详细全文下载
5.Multiple-Environment Markov Decision Processes

作　　者：Jean-Francois Raskin ;Ocan Sankur

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:531-543.doi:10.4230/LIPIcs.FSTTCS.2014.531

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

文章 ID：186846631

文章详细全文下载
6.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

文章详细全文下载
7.Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability

作　　者：Thomas Brihaye ;V{\'e}ronique Bruy{\`e}re ;No{\'e}mie Meunier 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:504-518.doi:10.4230/LIPIcs.CSL.2015.504

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

文章 ID：186847066

文章详细全文下载
8.Admissibility in Quantitative Graph Games

作　　者：Romain Brenguier ;Guillermo A. P{\'e}rez ;Jean-Francois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:42:1-42:14.doi:10.4230/LIPIcs.FSTTCS.2016.42

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

文章 ID：186848162

文章详细全文下载
9.On the Complexity of Heterogeneous Multidimensional Games

作　　者：Veronique Bruyere ;Quentin Hautem ;Jean-Francois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:11:1-11:15.doi:10.4230/LIPIcs.CONCUR.2016.11

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

文章 ID：186847570

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有