@misc{indiciaef2ee5237f89c,
  title = {Multiobjective Preexpectation Reasoning for Probabilistic Programs},
  author = {Lena Verscht and Hannah Mertens and Kevin Batz and Sebastian Junges and Benjamin Lucien Kaminski and Joost-Pieter Katoen},
  year = {2026},
  url = {https://arxiv.org/abs/2608.13268},
  note = {Source identifier: 2608.13268}
}