![Mathematics / Formal languages / Finite automata / Model checking / Mathematical logic / Omega language / Theory of computation / Muller automaton / Sigma-algebra / Tree / Structure / Measure Mathematics / Formal languages / Finite automata / Model checking / Mathematical logic / Omega language / Theory of computation / Muller automaton / Sigma-algebra / Tree / Structure / Measure](https://www.pdfsearch.io/img/9541ef10620d78537f486da1b75fcc15.jpg) 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
|