TY  - RPRT
TI  - STADA: Specification-based Testing for Autonomous Driving Agents
AU  - Joy Saha
AU  - Trey Woodlief
AU  - Sebastian Elbaum
AU  - Matthew B. Dwyer
PY  - 2026
UR  - https://arxiv.org/abs/2603.10940
ID  - 2603.10940
ER  -