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
|