Kasper Engelen, Guillermo A. Pérez 0001, Shrisha Rao 0002. Analyzing Value Functions of States in Parametric Markov Chains. In Nils Jansen 0001, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll 0001, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 0001, editors, Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Volume 15261 of Lecture Notes in Computer Science, pages 145-165, Springer, 2025. [doi]
Abstract is missing.