Details for the publication LiQYHSZ25.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang: QuantiVA: Quantitative Verification of Autonomous Driving. In Res. Dir. Cyber Phys. Syst. 3, 2025. DOI BIB