TY  - RPRT
TI  - Diagnostic Runtime Monitoring with Martingales
AU  - Ali Hindy
AU  - Rachel Luo
AU  - Somrita Banerjee
AU  - Jonathan Kuck
AU  - Edward Schmerling
AU  - Marco Pavone
PY  - 2024
UR  - https://arxiv.org/abs/2407.21748
ID  - 2407.21748
ER  -