Dirk Beyer 0001, Nian-Ze Lee. The Transformation Game: Joining Forces for Verification. 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 III. Volume 15262 of Lecture Notes in Computer Science, pages 175-205, Springer, 2025. [doi]
Abstract is missing.