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

First Page		Document Content
Date: 2017-10-06 04:04:07 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 Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 651,28 KB Share Document on Facebook