MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1

First Page		Document Content
Date: 2015-02-02 16:39:01 Markov processes Probability theory Probability Dynamic programming Markov decision process Stochastic control Reinforcement learning Memorylessness		MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 370,21 KB Share Document on Facebook

	Introduction Memoryless Computation Universal Simulation DocID: 1qTX3 - View Document
	Inference, Models and Simulation for Complex Systems Lecture 1 Prof. Aaron Clauset 1 DocID: 1pJlD - View Document
	Supplementary materials for this article are available online. Please go to www.tandfonline.com/r/JASA Statistical Learning With Time Series Dependence: An Application to Scoring Sleep in Mice Blakeley B. MCSHANE, Shane DocID: 1nCx1 - View Document
	Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§ DocID: 1mtGW - View Document
	2002, 78, 127–160 JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR NUMBER DocID: 1220W - View Document