Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2

First Page		Document Content
Date: 2013-12-01 11:49:36 Mathematical analysis Mathematics Dynamic programming Markov decision process Stochastic control Sigma-algebra		Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 329,69 KB Share Document on Facebook

	Towards a high level programming paradigm to deploy e-science applications with dynamic workflows on large scale distributed systems Mohamed Ben Belgacem Nabil Abdennadher DocID: 1xTOs - View Document
	Minimax Differential Dynamic Programming: An Application to Robust Biped Walking Jun Morimoto Human Information Science Labs, Department 3, ATR International DocID: 1vqMk - View Document
	Empirical Dynamic Programming William B. Haskell ISE Department, National University of Singapore Rahul Jain* DocID: 1vouJ - View Document
	MarchRevised MayReport LIDS-P-3506 Stable Optimal Control and Semicontractive Dynamic Programming DocID: 1vhRF - View Document
	EE365: Deterministic Finite State Control Deterministic optimal control Shortest path problem Dynamic programming Examples DocID: 1vg0M - View Document