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

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]

Abstract is missing.

runs on WebDSL