Author name: Ezio Bartocci, Alessio Gambi, Felix Gigler, Cristinel Mateis, Dejan Ni\v{c}kovi\'c

arXiv:2603.09455v2 Announce Type: replace-cross
Abstract: Scenario-based testing is a key method for cost-effective and safe validation of autonomous vehicles (AVs). Existing approaches rely on imperative scenario definitions, requiring developers to …