TY  - RPRT
TI  - A Language for Autonomous Vehicles Testing Oracles
AU  - Ana Nora Evans
AU  - Mary Lou Soffa
AU  - Sebastian Elbaum
PY  - 2020
UR  - https://arxiv.org/abs/2006.10177
ID  - 2006.10177
ER  -