Runtime Monitoring of Supermartingale Certificates.

arXiv:2610.19701v1 Announce Type: new Abstract: Supermartingale certificates formally guarantee temporal properties of discrete and continuous-time stochastic dynamical systems. However, these guarantees rely on a mathematical model of the world, leaving a sim