TY  - RPRT
TI  - Towards a Deductive Verification Infrastructure for Weighted Programming
AU  - Emma Ahrens
AU  - Samuel Rode
AU  - Philipp Schröer
AU  - Joost-Pieter Katoen
PY  - 2026
UR  - https://arxiv.org/abs/2608.18971
ID  - 2608.18971
ER  -