52 citations · 217 across the 36 of their papers we have counts for
1 paper · 2 filters
Christel Baier, Nathalie Bertrand, Clemens Dubslaff +2
The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components…