www.prismmodelchecker.org
[Nie21] Florian Niedermeier. Power-Adaptive Computing in Future Energy Networks. Ph.D. thesis, University of Passau. 2021. [Presents methods for power-adaptive computing, including an analysis with PRISM.]
Links: [Google] [Google Scholar]

Publications