Shengling Geng, Jiao Peng, Ping Li. Modeling and verification of cyber-physical systems under uncertainty. In Yong Liu 0012, Liang Zhao 0001, Guoyong Cai, Guoqing Xiao, Kenli Li, Lipo Wang, editors, 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2017, Guilin, China, July 29-31, 2017. pages 1491-1496, IEEE, 2017. [doi]
Abstract is missing.