Date: 2016-04-25 05:07:53Mathematical 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: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 617,06 KBShare Document on Facebook
|