Cited By
View all- Huang CChen XLin WYang ZLi X(2017)Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier CertificatesACM Transactions on Embedded Computing Systems10.1145/312650816:5s(1-19)Online publication date: 27-Sep-2017
- Schrammel PGirault AGuan N(2015)Unbounded-time reachability analysis of hybrid systems by abstract accelerationProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830871(51-54)Online publication date: 4-Oct-2015
- Schrammel PSubotic P(2013)Logico-Numerical Max-Strategy IterationProceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 773710.1007/978-3-642-35873-9_25(414-433)Online publication date: 20-Jan-2013
- Show More Cited By