A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhen Huang, Bo Li, Dehui Du, Qin Li 0002. A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. In Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu, editors, Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Volume 13572 of Lecture Notes in Computer Science, pages 238-254, Springer, 2022. [doi]

This author has not been identified. It may be one of the following persons:

Zhen Huang

Look up 'Zhen Huang' in GoogleThis author has not been identified. Look up 'Bo Li' in GoogleThis author has not been identified. Look up 'Dehui Du' in GoogleThis author has not been identified. Look up 'Qin Li 0002' in Google

runs on WebDSL