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

	LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from DocID: 1xVSt - View Document
	Week 4 (due April 30) Reading: Srednicky, sections 69, 70. See also a book by Howard Georgi, ”Lie algebras in particle physics”. 1. (a) (10 points) The complex symplectic group Sp(2N, C) is a complex subgroup of GL(2 DocID: 1vpdH - View Document
	Deep Compositing using Lie Algebras DocID: 1uLyC - View Document
	Infinitesimal deformations of restricted simple Lie algebras II DocID: 1uJ9g - View Document
	From Lie Algebras to Quantum Groups Helena Albuquerque Samuel Lopes Joana Teles DocID: 1u6mc - View Document