<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-12-01 06:48:09Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-12-01 06:48:09Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator |
Add to Reading List |
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.