6 search results - page 2 / 2 » Symbolic Magnifying Lens Abstraction in Markov Decision Proc... |
QEST
2007
IEEE
14 years 5 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...