Journal
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Volume 17, Issue 4, Pages 469-484Publisher
SPRINGER HEIDELBERG
DOI: 10.1007/s10009-015-0383-0
Keywords
Statistical model checking; Sampling; Nondeterminism
Categories
Ask authors/readers for more resources
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 work has introduced the elements of lightweight techniques to sample directly from scheduler space, but finding optimal schedulers by simple sampling may be inefficient. Here we describe smart sampling algorithms that can make substantial improvements in performance.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available