Arnd Hartmanns. An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space. In Anne Remke, Bernhard Steffen, editors, Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings. Volume 16040 of Lecture Notes in Computer Science, pages 21-36, Springer, 2025. [doi]
Abstract is missing.