Publication [QuatmannK18] Sound Value Iteration Quatmann, T. and Katoen, J.-P. In CAV (1), pages 643-661, Springer, Lecture Notes in Computer Science 10981, 2018.Downloads: bib