TY  - RPRT
TI  - Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
AU  - Varun Madabushi
AU  - Elizabeth Dietrich
AU  - Hanna Krasowski
AU  - Maegan Tucker
PY  - 2026
UR  - https://arxiv.org/abs/2604.05102
ID  - 2604.05102
ER  -