Li Huang, Tian Liang, Eun-Young Kang 0001. Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 11-20, IEEE, 2019. [doi]
Abstract is missing.