Cited By
View all- Lal RPrabhakar P(2019)Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid SystemsACM Transactions on Embedded Computing Systems10.1145/335821718:5s(1-23)Online publication date: 8-Oct-2019
- 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
- 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