h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@MISC{Schrer:1024861,
      author       = {Schröer, Philipp and Haase, Darion and Katoen,
                      Joost-Pieter},
      title        = {{E}rror {L}ocalization, {C}ertificates, and {H}ints for
                      {P}robabilistic {P}rogram {V}erification via {S}licing
                      ({A}rtifact {E}valuation); v1},
      publisher    = {Zenodo},
      reportid     = {RWTH-2026-00380},
      year         = {2026},
      cin          = {121310},
      cid          = {$I:(DE-82)121310_20140620$},
      pnm          = {G:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for
                      probabilistic programs (101158076) / GRK 2236 - GRK 2236:
                      Unsicherheit und Randomisierung in Algorithmen, Verifikation
                      und Logik. (282652900) / MISSION - Models in Space Systems:
                      Integration, Operation, and Networking (101008233)},
      pid          = {G:(EU-Grant)101158076 / G:(GEPRIS)282652900 /
                      G:(EU-Grant)101008233},
      typ          = {PUB:(DE-HGF)33},
      doi          = {10.5281/ZENODO.18188200},
      url          = {https://publications.rwth-aachen.de/record/1024861},
}