Browsing Artículos 2015 by Subject "Statistical model checking"
Now showing items 1-1 of 1
-
Smart sampling for lightweight verification of Markov decision processes
(2015)Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ...