5 citations · 6 across the 3 of their papers we have counts for
3 papers
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…
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…
Synthesis from LTL Specifications with Mean-Payoff Objectives
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot +1
The classical LTL synthesis problem is purely qualitative: the given LTL specification is realized or not by a reactive system. LTL is not expressive enough to formalize the correc…