2 papers
cs.RO2026
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…
cs.LG2025
Certified Guidance for Planning with Deep Generative Models
Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti +1
Deep generative models, such as generative adversarial networks and diffusion models, have recently emerged as powerful tools for planning tasks and behavior synthesis in autonomou…