Back to Results
First PageMeta Content
Probability 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 Kingdom
Add to Reading List

Document Date: 2017-06-28 16:10:52


Open Document

File Size: 1,72 MB

Share Result on Facebook