Reconfiguration and Message Losses in Parameterized Broadcast Networks by Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

Get full text

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games by Patricia Bouyer, Nicolas Markey, Daniel Stan

Get full text

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

Get full text

Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs by Patricia Bouyer, Mickael Randour, Pierre Vandenhove

Get full text

Nash Equilibria in Symmetric Games with Partial Observation by Patricia Bouyer, Nicolas Markey, Steen Vester

Get full text

Model Checking One-clock Priced Timed Automata by Patricia Bouyer, Kim G. Larsen, Nicolas Markey

Get full text

Multi-weighted Markov Decision Processes with Reachability Objectives by Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour

Get full text

Half-Positional Objectives Recognized by Deterministic B\"uchi Automata by Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove

Get full text

Pure Nash Equilibria in Concurrent Deterministic Games by Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels

Get full text

Arena-Independent Finite-Memory Determinacy in Stochastic Games by Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove

Get full text

Average-energy games by Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen

Get full text

Games Where You Can Play Optimally with Arena-Independent Finite Memory by Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove

Get full text

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

Get full text