![Markov processes / Probability / Markov models / Model checkers / PRISM model checker / Model checking / Markov reward model / Markov chain / Markov decision process / Probabilistic CTL / Prism Markov processes / Probability / Markov models / Model checkers / PRISM model checker / Model checking / Markov reward model / Markov chain / Markov decision process / Probabilistic CTL / Prism](https://www.pdfsearch.io/img/a5a8c7fca9927c9bba267e93ad47de41.jpg) Date: 2008-12-15 10:57:28Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism | | PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 250,67 KBShare Document on Facebook
|