Titlebook: Principles of Verification: Cycling the Probabilistic Landscape; Essays Dedicated to Nils Jansen,Sebastian Junges,Matthias Volk Book 2025

精确

Nils Jansen,Sebastian Junges,Matthias VolkChapters explain many research and implementation successes inspired by Joost-Pieter Katoen.Contributions from leading scientists.Honors an influential researcher, teacher, and community leader

Charade

Symbolic Quantitative Information Flow for Probabilistic Programse handle programs that combine discrete and continuous distributions. However, in the SOGA setting, we approximate the exact semantics using Gaussian mixtures and compute bounds for the measures. We demonstrate the use of our methods in two widely used mechanisms to ensure differential privacy: randomized response and the Gaussian mechanism.

毛细血管

有杂色

left-ventricle

使增至最大

Static Slicing for Probabilistic Programs: An Overviewbased on probabilistic control flow graphs. Through motivating examples and sketches of key definitions and results, we provide a clear, accessible, and self-contained presentation of slicing techniques for probabilistic programs.

说明

Polar: An Algebraic Analyzer for (Probabilistic) Loopsmeter sensitivity. . is both sound and complete within well-defined programming model restrictions. Lifting any of these restrictions results in significant hardness limits of computation. To overcome computational burdens for the sake of efficiency, . also provides incomplete but sound techniques to compute moments of combinations of variables.

骑师

palliate

潜伏期

Sound and Complete Techniques for Reasoning About Terminationamming models, extended with constructs for (unbounded) nondeterminism, fairness, and probabilistic choice. We provide both the computability-theoretic classification of the termination problems as well as sound and complete proof systems for proving termination.