Sotirios Gyftopoulos, Stylianos Basagiannis, Panagiotis Katsaros. Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities. 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 219-233, Springer, 2025. [doi]
Abstract is missing.