![Mathematics / Linear temporal logic / Temporal logic / Mathematical logic / Symbol / Structure / Model theory / Distribution / operator Mathematics / Linear temporal logic / Temporal logic / Mathematical logic / Symbol / Structure / Model theory / Distribution / operator](https://www.pdfsearch.io/img/93c248430638db372127e953cc438293.jpg) 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 Website File Size: 192,25 KBShare Document on Facebook
|