Browsing Artículos by Author "Legay, Axel"
Now showing items 1-1 of 1
-
Smart sampling for lightweight verification of Markov decision processes
D'Argenio, Pedro Ruben; Legay, Axel; Sedwards, Sean; Traonouez, Louis-Marie (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 ...