Romain Brenguier

Available identifiers

zbMath Open brenguier.romainMaRDI QIDQ520339

List of research outcomes

Publication	Date of Publication	Type
Decidability results for multi-objective stochastic games	2018-10-25	Paper
The complexity of admissibility in Omega-regular games	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636592	2018-04-19	Paper
Optimal Assumptions for Synthesis	2018-03-21	Paper
Pareto curves of multidimensional mean-payoff games	2018-03-01	Paper
Assume-Admissible Synthesis	2017-09-12	Paper
Energy and mean-payoff timed games	2017-05-16	Paper
Assume-admissible synthesis	2017-04-03	Paper
Robust Equilibria in Mean-Payoff Games	2016-06-10	Paper
Non-Zero Sum Games for Reactive Synthesis	2016-04-13	Paper
Pure Nash Equilibria in Concurrent Deterministic Games	2015-08-25	Paper
A Comparison of Succinctly Represented Finite-State Systems	2012-09-25	Paper
Nash equilibria in concurrent games with Büchi objectives	2012-08-31	Paper
Concurrent Games with Ordered Objectives	2012-06-22	Paper
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games	2010-09-10	Paper
Nash Equilibria for Reachability Objectives in Multi-player Timed Games	2010-08-31	Paper

Research outcomes over time

This page was built for person: Romain Brenguier