First Page | Document Content | |
---|---|---|
![]() Date: 2007-07-13 07:18:18Temporal logic Theoretical computer science Mathematics Linear temporal logic Probability Computation tree logic IP Probabilistic CTL PRISM model checker Markov decision process Model checking Markov chain | Add to Reading List |