1.Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

作　　者：Markus Rabe ;Sven Schewe

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;28:144-158.doi:10.4204/EPTCS.28.10

出版社：Open Publishing Association

文章 ID：83119947

文章详细全文下载

2.Practical Distributed Control Synthesis

作　　者：Doron Peled ;Sven Schewe

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;73:2-17.doi:10.4204/EPTCS.73.2

出版社：Open Publishing Association

文章 ID：83120359

文章详细全文下载

3.Rapid Recovery for Systems with Scarce Faults

作　　者：Chung-Hao Huang ;Doron Peled ;Sven Schewe 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:15-28.doi:10.4204/EPTCS.96.2

出版社：Open Publishing Association

文章 ID：83120584

文章详细全文下载

4.Front Matter, Table of Contents, Preface, Organization, List of Authors

作　　者：Sven Schewe ;Thomas Schneider ;Jef Wijsen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:0:i-0:xiv.doi:10.4230/LIPIcs.TIME.2017.0

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

文章 ID：202421993

文章详细

5.Model-Free Reinforcement Learning for Stochastic Parity Games

作　　者：Ernst Moritz Hahn ;Mateo Perez ;Sven Schewe 等

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

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

文章 ID：255822880

文章详细全文下载

6.Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

作　　者：John Fearnley ;Sven Schewe

出　　处：Logical Methods in Computer Science. 2013 ;9(2):1.doi:10.2168/LMCS-9(2:6)2013

出版社：Technical University of Braunschweig

文章 ID：264692046

文章详细全文下载

7.Minimising Good-For-Games Automata Is NP-Complete

作　　者：Sven Schewe

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-13.doi:10.4230/LIPIcs.FSTTCS.2020.56

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

文章 ID：257805126

文章详细全文下载

8.Büchi Complementation Made Tight

作　　者：Sven Schewe

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:661-672.doi:10.4230/LIPIcs.STACS.2009.1854

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

文章 ID：186845580

文章详细全文下载

9.Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete

作　　者：Sven Schewe

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:400-411.doi:10.4230/LIPIcs.FSTTCS.2010.400

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

文章 ID：186845788

文章详细全文下载

10.Efficient Approximation of Optimal Control for Continuous-Time Markov Games

作　　者：John Fearnley ;Markus Rabe ;Sven Schewe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:399-410.doi:10.4230/LIPIcs.FSTTCS.2011.399

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

文章 ID：186845895

文章详细全文下载

	有本地全文	15篇
	有全文链接	2篇

	2022	1篇
	2020	2篇
	2018	3篇
	2017	1篇
	2015	1篇

	Sven Schewe	17篇
	John Fearnley	3篇
	Lijun Zhang	3篇
	Dominik Wojtczak	2篇
	Doron Peled	2篇

	Ernst Moritz Hahn	2篇
	Markus Rabe	2篇
	Alexander Weinert	1篇
	Alice Miller	1篇
	Andrea Turrini	1篇
	Ashutosh Trivedi	1篇
	Chris Unsworth	1篇
	Chung-Hao Huang	1篇
	Eike Ritter	1篇
	Fabio Somenzi	1篇
	Farn Wang	1篇
	Guangyuan Li	1篇
	Ioannis Lamprou	1篇
	Ioannis Sigalas	1篇
	Jef Wijsen	1篇
	Karoliina Lehtinen	1篇
	Louise Dennis	1篇
	Mark Ryan	1篇
	Martin Zimmermann	1篇
	Mateo Perez	1篇
	Michael Fisher	1篇
	Muffy Calder	1篇
	Myrto Arapinis	1篇
	Nathalie Bertrand	1篇
	Paweł Parys	1篇
	Philip Gray	1篇
	Rehana Yasmin	1篇
	Russell Martin	1篇
	Savas Konur	1篇
	Thomas Schneider	1篇
	Vassilis Zissimopoulos	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	2篇
	Electronic Communications of the EASST	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sven Schewe")))) )) ) )"

	德国	14篇
	澳大利亚	3篇