|
[FKK15]
Vojtech Forejt, Jan Krcal and Jan Kretinsky.
Controller Synthesis for MDPs and Frequency LTL-GU.
In Proc. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20), volume 9450 of LNCS, pages 162-177, Springer.
November 2015.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|