TY  - RPRT
TI  - Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)
AU  - Ryan G. Scott
AU  - Ivan Perez
AU  - Alwyn E. Goodloe
AU  - Mike Dodds
AU  - Robert Dockins
PY  - 2026
UR  - https://arxiv.org/abs/2607.01363
ID  - 2607.01363
ER  -