Words and bisimulations of dynamical systems by Thomas Brihaye

Get full text

Words and bisimulations of dynamical systems by Thomas Brihaye

Get full text

Simple strategies for Banach-Mazur games and fairly correct systems by Thomas Brihaye, Quentin Menet

Get full text

O-Minimal Hybrid Reachability Games by Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

Get full text

Life is Random, Time is Not: Markov Decision Processes with Window Objectives by Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour

Get full text

Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives by Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin

Get full text

On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games by Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert

Get full text

Dynamics and Coalitions in Sequential Games by Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux

Get full text

Using Model Checking for Analyzing Distributed Power Control Problems by Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby

Get full text

One-Clock Priced Timed Games with Negative Weights by Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

Get full text

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games by Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard

Get full text

Stochastic Timed Automata by Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski

Get full text