2 papers
cs.PL2026
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
Philipp Schröer, Joost-Pieter Katoen
We present a one-fits-all programmatic approach to reason about a plethora of objectives on probabilistic programs. The first ingredient is to add a reward-statement to the languag…
cs.CR2024
Symbolic Quantitative Information Flow for Probabilistic Programs
Philipp Schröer, Francesca Randone, Raúl Pardo +1
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discus…