Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU
| Title | Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU |
| Publication Type | Conference Paper |
| Year of Publication | In Press |
| Authors | Forejt, V, Krčál, J, Křet{\'ınsk{\`y}, J |
| Conference Name | LPAR 2015 |
Work Package:
WP1
