www.prismmodelchecker.org
[Dau18] Marcus Daum. Formal methods for probabilistic energy models. Ph.D. thesis, Dresden University of Technology. 2018. [Presents various new model checking algorithms for energy-utility trade-offs, implemented as extensions of PRISM.]
Links: [Google] [Google Scholar]

Publications