TY - RPRT TI - Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic AU - Lorenzo Bonin AU - Francesco Giacomarra AU - Luca Bortolussi AU - Jyotirmoy V. Deshmukh AU - Francesca Cairoli PY - 2026 UR - https://arxiv.org/abs/2605.19038 ID - 2605.19038 ER -