Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jinyong Wang' in GoogleThis author has not been identified. Look up 'Zhiqiu Huang' in GoogleThis author has not been identified. Look up 'Yi Zhu 0008' in GoogleThis author has not been identified. Look up 'Guohua Shen' in Google

runs on WebDSL