On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

First Page		Document Content
Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model		On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 223,63 KB Share Document on Facebook

	Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics DocID: 1xVg5 - View Document
	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muﬀy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1 DocID: 1xTb0 - View Document
	Journal of Financial and Strategic Decisions Volume 13 Number 2 SummerGARCH MODELS AND THE STOCHASTIC PROCESS DocID: 1v6y9 - View Document
	An implied latent position process for doubly stochastic messaging activities Nam H. Lee∗ and Carey E. Priebe† and Minh Tang‡ Department of Applied Mathematics and Statistics Johns Hopkins University Baltimore, MD DocID: 1v16M - View Document
	INVASION PROBABILITIES, HITTING TIMES, AND SOME FLUCTUATION THEORY FOR THE STOCHASTIC LOGISTIC PROCESS arXiv:1704.02168v1 [q-bio.PE] 7 Apr 2017 DocID: 1uyb8 - View Document