Date: 2013-12-01 09:40:50Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure | | 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 ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 157,43 KBShare Document on Facebook
|