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

First Page		Document Content
Date: 2017-06-28 16:10:52 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 Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 1,72 MB 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