32 citations · 172 across the 29 of their papers we have counts for
4 papers · 1 filter
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Aaron Bohy, Véronique Bruyère, Jean-François Raskin
When treating Markov decision processes (MDPs) with large state spaces, using explicit representations quickly becomes unfeasible. Lately, Wimmer et al. have proposed a so-called s…
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs
Véronique Bruyère, Emmanuel Filiot, Mickael Randour +1
When reasoning about the strategic capabilities of an agent, it is important to consider the nature of its adversaries. In the particular context of controller synthesis for quanti…
Secure Equilibria in Weighted Games
Véronique Bruyère, Noémie Meunier, Jean-François Raskin
We consider two-player non zero-sum infinite duration games played on weighted graphs. We extend the notion of secure equilibrium introduced by Chatterjee et al., from the Boolean…
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version)
Aaron Bohy, Véronique Bruyère, Jean-François Raskin
When treating Markov decision processes (MDPs) with large state spaces, using explicit representations quickly becomes unfeasible. Lately, Wimmer et al. have proposed a so-called s…