Details for the publication LiQYHSZ24.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang: QuantiVA: Quantitative Verification of Autonomous Driving. In Research Directions: Cyber-Physical Systems:1-16, 2024. DOI