First Page | Document Content | |
---|---|---|
Date: 2013-12-01 06:48:09Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator | 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.Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 192,25 KBShare Document on Facebook |