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…