Back to Results
First PageMeta Content
Markov processes / Game theory / Strategy / Stochastic game / Markov decision process / Probability and statistics / Probability / Computability theory


Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi
Add to Reading List

Document Date: 2017-10-06 04:04:07


Open Document

File Size: 651,28 KB

Share Result on Facebook
UPDATE