![Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) Date: 2016-04-24 16:51:40Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process | | Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 603,71 KBShare Document on Facebook
|