TY  - RPRT
TI  - Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems
AU  - Tianyi Xia
AU  - Ryan K. Cosner
PY  - 2026
UR  - https://arxiv.org/abs/2610.17308
ID  - 2610.17308
ER  -