Date: 2017-06-28 16:10:52Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process | | Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United KingdomAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 1,72 MBShare Document on Facebook
|