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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds von Bruyère, Véronique, Hautem, Quentin, Randour, Mickael

Volltext

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

Volltext

Percentile queries in multi-dimensional Markov decision processes von Randour, Mickael, Raskin, Jean-François, Sankur, Ocan

Volltext

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

Volltext

Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions von Main, James C.A., Randour, Mickael

Volltext

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

Volltext

Expectations or Guarantees? I Want It All! A crossroad between games and MDPs von Bruyère, Véronique, Filiot, Emmanuel, Randour, Mickael, Raskin, Jean-François

Volltext

Variations on the Stochastic Shortest Path Problem von Randour, Mickael, Raskin, Jean-François, Sankur, Ocan

Volltext

Half-Positional Objectives Recognized by Deterministic Büchi Automata von Bouyer, Patricia, Casares, Antonio, Randour, Mickael, Vandenhove, Pierre

Volltext

Decisiveness of stochastic systems and its application to hybrid models von Bouyer, Patricia, Brihaye, Thomas, Randour, Mickael, Rivière, Cédric, Vandenhove, Pierre

Volltext

Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games von Bruyère, Véronique, Filiot, Emmanuel, Randour, Mickael, Raskin, Jean-François

Volltext

Looking at mean-payoff and total-payoff through windows von Chatterjee, Krishnendu, Doyen, Laurent, Randour, Mickael, Raskin, Jean-François

Volltext

Percentile Queries in Multi-dimensional Markov Decision Processes von Randour, Mickael, Raskin, Jean-François, Sankur, Ocan

Volltext

Strategy synthesis for multi-dimensional quantitative objectives von Chatterjee, Krishnendu, Randour, Mickael, Raskin, Jean-François

Volltext

Automated Synthesis of Reliable and Efficient Systems Through Game Theory: A Case Study von Randour, Mickael

Volltext