CE Tuncali, G Fainekos, H Ito… - … Conference on Hybrid …, 2018 - asu.elsevierpure.com
One of the main challenges in testing autonomous driving systems is the presence of
machine learning components, such as neural networks, for which formal properties are …