www.prismmodelchecker.org
[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 bib
Notes: The original publication is available at www.springerlink.com.

Publications