First Page | Document Content | |
---|---|---|
Date: 2017-05-03 06:06:10Temporal logic Theoretical computer science Mathematics Linear temporal logic Probabilistic CTL Computation tree logic Mathematical logic Markov decision process Markov chain IP Limit Craig interpolation | FT D RA Probabilistic Model Checking: Advances and ApplicationsAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 1,65 MBShare Document on Facebook |