Jinyong Wang, Zhiqiu Huang, Yi Zhu 0008, Guohua Shen. Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints. International Journal of Software Engineering and Knowledge Engineering, 32(4):553-582, 2022. [doi]
@article{WangH0S22, title = {Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints}, author = {Jinyong Wang and Zhiqiu Huang and Yi Zhu 0008 and Guohua Shen}, year = {2022}, doi = {10.1142/S0218194022500188}, url = {https://doi.org/10.1142/S0218194022500188}, researchr = {https://researchr.org/publication/WangH0S22}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {32}, number = {4}, pages = {553-582}, }