Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU

TitleController synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU
Publication TypeConference Paper
Year of PublicationIn Press
AuthorsForejt, V, Krčál, J, Křet{\'ınsk{\`y}, J
Conference NameLPAR 2015
Work Package: 
WP1