32 citations · 80 across the 14 of their papers we have counts for
1 paper · 1 filter
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík +5
We present a general framework for applying machine-learning algorithms to the verification of Markov decision processes (MDPs). The primary goal of these techniques is to improve…