Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes

TitleSymblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Publication TypeConference Paper
Year of Publication2014
AuthorsBohy, A, Bruyère V, Raskin J-F
Conference NameProceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria, July 23-24, 2014.
URLhttp://dx.doi.org/10.4204/EPTCS.157.8
DOI10.4204/EPTCS.157.8