Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic

Lorenzo Bonin, Francesco Giacomarra, Luca Bortolussi +2

The rapid advancement of autonomous driving (AD) technologies has outpaced the development of robust safety evaluation methods. Conventional testing relies on exposing AD systems t…