Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin - Framework decision - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-12-04 14:59:08 Markov models Mathematics Markov processes Probability Dynamic programming Stochastic control Graph theory Markov decision process Stochastic game Markov chain Stochastic matrix Shortest path problem		Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 359,91 KB Share Document on Facebook

	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera DocID: 1xW2m - View Document
	Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3 DocID: 1xVLS - View Document
	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa DocID: 1xVDa - View Document
	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. DocID: 1xVy7 - View Document
	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