Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

First Page		Document Content
Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process		Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 603,71 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