A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems.

Dehui Du, Bo Li, Chenghang Zheng, Xinyuan Zhang

Browse the full ICSE paper archive.