Probabilistic CTL

#	Item
1	The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:35:38 Theoretical computer science Mathematics Logic in computer science Mathematical analysis Temporal logic Generalizations of the derivative Computation tree logic Boolean satisfiability problem Symbol Model theory 120-cell Distribution
2	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English Theoretical computer science Markov processes Model checkers Markov models Probabilistic bisimulation Markov chain Bisimulation Splay tree Algorithm PRISM model checker Markov decision process Probabilistic CTL
3	Reconciling Weighted MSO and Probabilistic CTL Benedikt Bollig and Paul Gastin LSV, ENS Cachan, INRIA, CNRS, FRANCE Chennai, 1 February 2010 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-02-02 00:57:14
4	PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool Musab AlTurki and Jos´e Meseguer Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2011-05-18 16:24:10 Probabilistic complexity theory Model checking Monte Carlo method Markov chain Stochastic Randomized algorithm Probabilistic CTL Probability and statistics Theoretical computer science Statistics