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

	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract DocID: 1xVzo - View Document
	Sample Path Large Deviations for Stochastic Evolutionary Game Dynamics∗ William H. Sandholm† and Mathias Staudigl‡ May 15, 2016 Abstract DocID: 1sB53 - View Document
	Decision, Risk & Operations Working Papers Series A Mean-Risk Model for the Stochastic Traffic Assignment Problem E. Nikolova and N.E. Stier-Moses DocID: 1reDb - View Document
	E¢ cient Sequential Assignment with Incomplete Information Alex Gershkov and Benny MoldovanuAbstract DocID: 1r7IS - View Document
	Optimal Voting Schemes with Costly Information Acquisition∗ Alex Gershkov† Department of Economics, Hebrew University of Jerusalem DocID: 1r4ru - View Document