1.Determinisation of Finitely-Ambiguous Copyless Cost Register Automata

作　　者：Thodore Lopez ;Benjamin Monmege ;Jean-Marc Talbot

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.75

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

文章 ID：238892025

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

4.Reaching Your Goal Optimally by Playing at Random with No Memory

作　　者：Benjamin Monmege ;Julie Parreaux ;Pierre-Alain Reynier

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

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

文章 ID：255822885

文章详细全文下载

5.A Robust Class of Data Languages and an Application to Learning

作　　者：Benedikt Bollig ;Peter Habermehl ;Martin Leucker 等

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

出版社：Technical University of Braunschweig

文章 ID：264692171

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

9.Symbolic Approximation of Weighted Timed Games

作　　者：Damien Busatto-Gaston ;Benjamin Monmege ;Pierre-Alain Reynier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-16.doi:10.4230/LIPIcs.FSTTCS.2018.28

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

文章 ID：230213177

文章详细全文下载

	Benedikt Bollig	1篇
	Bruno Quoitin	1篇
	Damien Busatto-Gaston	1篇
	Engel Lefaucheux	1篇
	Gabriel Renault	1篇
	Guillermo A. P{\'e}rez	1篇
	Hsi-Ming Ho	1篇
	Jean-Marc Talbot	1篇
	Julie Parreaux	1篇
	Marion Hallet	1篇
	Martin Leucker	1篇
	Peter Habermehl	1篇
	Thodore Lopez	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Benjamin Monmege")))) )) ) )"

	Benjamin Monmege	9篇
	Gilles Geeraerts	5篇
	Thomas Brihaye	5篇
	Axel Haddad	3篇
	Pierre-Alain Reynier	2篇

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