Preprint
Aug 2026
Multiobjective Preexpectation Reasoning for Probabilistic Programs
The transformer and synthesis rules sound against an operational MDP semantics, without requiring a finite state space: this approach can be seen as a symbolic approach - at program level - for multiobjective optimization over infinite MDPs.
Lena Verscht, Hannah Mertens, Kevin Batz et al.
· 0 citations