Safety verification of stochastic continuous system using stochastic barrier certificates
SHEN Minjie, ZENG Zhenbing, LIN Wang, YANG Zhengfeng
Journal of Computer Applications . 2018, (6): 1737 -1744 .  DOI: 10.11772/j.issn.1001-9081.2017112824

Copyright © 2021 Sichuan Computer Applications Press Co., Ltd.
蜀ICP备 05010208 号　新出网证(川)字026号
Powered by Beijing Magtech Co., Ltd.
Total visits:
Today visits: