31 citations · 40 across the 13 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024★ 2 cited
Learning Algorithms for Verification of Markov Decision Processes
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik +6
We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques…
eess.SY2013
Trading Performance for Stability in Markov Decision Processes
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…