Back to Results
First PageMeta Content
Mathematics / 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, B
Add to Reading List

Document Date: 2013-12-01 09:40:50


Open Document

File Size: 157,43 KB

Share Result on Facebook
UPDATE