37 citations · 38 across the 5 of their papers we have counts for
1 paper · 1 filter
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt +1
We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool use…