@misc{indiciaeed75a9f538ec,
  title = {Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)},
  author = {Philipp Schröer and Darion Haase and Joost-Pieter Katoen},
  year = {2025},
  url = {https://arxiv.org/abs/2512.20214},
  note = {Source identifier: 2512.20214}
}