TY  - RPRT
TI  - Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems
AU  - Spandan Das
AU  - Pavithra Prabhakar
PY  - 2023
UR  - https://arxiv.org/abs/2304.02647
ID  - 2304.02647
ER  -