TY - RPRT TI - Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components AU - Cumhur Erkan Tuncali AU - Georgios Fainekos AU - Danil Prokhorov AU - Hisahiro Ito AU - James Kapinski PY - 2019 UR - https://arxiv.org/abs/1908.01094 ID - 1908.01094 ER -