47 citations · 115 across the 33 of their papers we have counts for
1 paper · 2 filters
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt +1
We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff perfor…