Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B - Informatics - Document - PDFSEARCH.IO

First Page	Meta Content
	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Document Date: 2013-12-01 09:40:50 Open Document File Size: 157,43 KB Share Result on Facebook

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, BAdd to Reading List