![Model checking / Stochastic / PRISM model checker / Markov chain / Statistics / Probability and statistics / Model checkers Model checking / Stochastic / PRISM model checker / Markov chain / Statistics / Probability and statistics / Model checkers](https://www.pdfsearch.io/img/8a92a8d703505433bc9198aa85db2d11.jpg) Date: 2012-05-29 18:24:25Model checking Stochastic PRISM model checker Markov chain Statistics Probability and statistics Model checkers | | Automatic Verification of
Competitive Stochastic Systems
Dave Parker
University of Birmingham University of Liverpool, May 2012Add to Reading ListSource URL: www.cs.bham.ac.ukDownload Document from Source Website File Size: 653,75 KBShare Document on Facebook
|