![Mathematical analysis / Mathematics / Statistical randomness / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Markov chain / Determinacy / Linear temporal logic / Stochastic game / Markov decision process Mathematical analysis / Mathematics / Statistical randomness / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Markov chain / Determinacy / Linear temporal logic / Stochastic game / Markov decision process](https://www.pdfsearch.io/img/c20b1f636c1de8d110df7fc41180b57a.jpg) Date: 2013-06-03 18:23:17Mathematical analysis Mathematics Statistical randomness Measure theory Boolean algebra Experiment Sigma-algebra Markov chain Determinacy Linear temporal logic Stochastic game Markov decision process | | Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, UniteAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 573,85 KBShare Document on Facebook
|