Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li. Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embedded Comput. Syst., 16(5), 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.