<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-10-01 09:45:47Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-10-01 09:45:47Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic |
Add to Reading List |
Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1