18 citations · 100 across the 28 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 3 cited
Multi-weighted Markov Decision Processes with Reachability Objectives
Patricia Bouyer, Mauricio González, Nicolas Markey +1
In this paper, we are interested in the synthesis of schedulers in double-weighted Markov decision processes, which satisfy both a percentile constraint over a weighted reachabilit…
cs.GT2018
Extending finite-memory determinacy by Boolean combination of winning conditions
Stéphane Le Roux, Arno Pauly, Mickael Randour
We study finite-memory (FM) determinacy in games on finite graphs, a central question for applications in controller synthesis, as FM strategies correspond to implementable control…