Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

First Page		Document Content
Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model		Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Download Document from Source Website File Size: 422,79 KB Share Document on Facebook

	Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U DocID: 1um1h - View Document
	217 Documenta Math. Stable Maps of Curves Robert F. Coleman DocID: 1rrCk - View Document
	Lifting Galois covers of algebraic curves Frans Oort Intercity number theory seminar, Utrecht, June 8, 2012. Introduction DocID: 1rr3O - View Document
	125 Documenta Math. Lifting from two Elliptic Modular Forms to Siegel Modular Forms of Half-Integral Weight DocID: 1rpcj - View Document
	Some lifting theorems for bounded linear operators DIRK WERNER I. Mathematisches Institut, Freie Universit¨at Berlin, Arnimallee 3, D-1000 Berlin 33, Federal Republic of Germany. e-mail: 1 INTR DocID: 1rjnh - View Document