Showing cs.PLShow all
2 papers · 1 filter
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.PL2025
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
This paper focuses on effective user diagnostics generated during the deductive verification of probabilistic programs. Our key principle is based on providing slices for (1) error…