Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Vojtech Forejt  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
V. Forejt and J. Krčál, “On Frequency {LTL} in Probabilistic Systems”, in 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015, 2015.
V. Forejt, J. Krčál, and J. Křet{\'ınsk{\`y}, “Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU”, in LPAR 2015, In Press.