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
- Zhang HWu JLu JTang J(2016)Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving schemeCluster Computing10.1007/s10586-016-0652-z19:4(2189-2199)Online publication date: 1-Dec-2016
- Peng YWang SZhan NZhang L(2015)Extending Hybrid CSP with Probability and StochasticityProceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - Volume 940910.1007/978-3-319-25942-0_6(87-102)Online publication date: 4-Nov-2015
- Show More Cited By