Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems

Open in new window