@misc{indiciae0c0e7bc1ee06,
  title = {Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)},
  author = {Ryan G. Scott and Ivan Perez and Alwyn E. Goodloe and Mike Dodds and Robert Dockins},
  year = {2026},
  url = {https://arxiv.org/abs/2607.01363},
  note = {Source identifier: 2607.01363}
}