1.Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives

作　　者：Thomas Brihaye ;Florent Delgrange ;Youssouf Oualhadj 等

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

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

文章 ID：238891916

文章详细全文下载

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

文章详细全文下载

3.Dynamics on Games: Simulation-Based Techniques and Applications to Routing

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Marion Hallet 等

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

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

文章 ID：241519889

文章详细全文下载

4.Timed-Automata-Based Verification of MITL over Signals

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Hsi-Ming Ho 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:7:1-7:19.doi:10.4230/LIPIcs.TIME.2017.7

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

文章 ID：202422000

文章详细全文下载

5.On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games

作　　者：Thomas Brihaye ;Véronique Bruyère ;Julie De Pril 等

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

出版社：Technical University of Braunschweig

文章 ID：264691900

文章详细全文下载

6.Stochastic Timed Automata

作　　者：Nathalie Bertrand ;Patricia Bouyer ;Thomas Brihaye 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:6)2014

出版社：Technical University of Braunschweig

文章 ID：264692158

文章详细全文下载

7.To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:297-310.doi:10.4230/LIPIcs.CONCUR.2015.297

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

文章 ID：186847017

文章详细全文下载

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

文章详细全文下载

9.Simple Priced Timed Games are not That Simple

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:278-292.doi:10.4230/LIPIcs.FSTTCS.2015.278

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

文章 ID：186847191

文章详细全文下载

10.Quantitative Games under Failures

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:293-306.doi:10.4230/LIPIcs.FSTTCS.2015.293

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

文章 ID：186847192

文章详细全文下载

	2019	3篇
	2017	1篇
	2016	1篇
	2015	4篇
	2014	1篇

	Thomas Brihaye	11篇
	Benjamin Monmege	5篇
	Gilles Geeraerts	5篇
	Axel Haddad	3篇
	Nathalie Bertrand	2篇

	Patricia Bouyer	2篇
	Aline Goeminne	1篇
	Bruno Quoitin	1篇
	Christel Baier	1篇
	Engel Lefaucheux	1篇
	Florent Delgrange	1篇
	Gabriel Renault	1篇
	Guillermo A. P{\'e}rez	1篇
	Hsi-Ming Ho	1篇
	Hugo Gimbert	1篇
	Jean-Francois Raskin	1篇
	Jean-Fran{\c{c}}ois Raskin	1篇
	Julie De Pril	1篇
	Marcin Jurdzinski	1篇
	Marcus Groesser	1篇
	Marie van den Bogaard	1篇
	Marion Hallet	1篇
	Mickael Randour	1篇
	No{\'e}mie Meunier	1篇
	Pierre Carlier	1篇
	Quentin Menet	1篇
	Vronique Bruy{\`e}re	1篇
	V{\'e}ronique Bruy{\`e}re	1篇
	Véronique Bruyère	1篇
	Youssouf Oualhadj	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thomas Brihaye")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Logical Methods in Computer Science	2篇