{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/arxiv-2605-19038","title":"Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic","arxiv_id":"2605.19038","date":"2026-05-18","proceeding":null,"authors":["Lorenzo Bonin","Francesco Giacomarra","Luca Bortolussi","Jyotirmoy V. Deshmukh","Francesca Cairoli"],"abstract":"The rapid advancement of autonomous driving (AD) technologies has outpaced the development of robust safety evaluation methods. Conventional testing relies on exposing AD systems to vast numbers of real-world traffic scenes -- a brute-force approach that is prohibitively expensive and statistically ineffective at capturing the rare, safety-critical edge cases essential for validating real-world robustness. To address this fundamental limitation, we introduce STRELGen, a scalable framework for the targeted generation of safety-critical driving scenarios. STRELGen synergistically combines a multi-agent trajectory-generation diffusion model (DM) with Spatio-Temporal Logic (STREL) specifications that encode complex safety and realism properties through a highly interpretable formalism. Crucially, monitoring satisfaction levels of these specifications is differentiable, enabling gradient-based search. At inference time, we optimize directly over the DM latent space to maximize STREL formula satisfaction. The result is efficient generation of highly plausible yet safety-critical multi-agent scenarios that lie within the learned data distribution. STRELGen thus provides a flexible, interpretable, and powerful tool for stress-testing autonomous driving systems, moving beyond the limitations of brute-force data collection.","url_abs":"https://arxiv.org/abs/2605.19038","url_pdf":"https://arxiv.org/pdf/2605.19038","source":{"archive":null,"snapshot":"2025-07-28","note":"not in the Papers with Code archive (frozen at the snapshot)","row_kind":"graph","title_abstract_authors_date":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)"},"code_links":[],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2605.19038","atlas_url":null,"mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2605.19038"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"mentioned_in_github":null,"is_official":null,"provenance":"deterministic:regex_extraction","mentioned_in_paper":null,"url":"https://github.com/lorenzobonin/strelgen","reach":null}],"summary":{"ran_fixture":6,"unverified":2},"by_repo_kind":{"found_in_text":{"samples":8,"ran":6,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":8,"samples":[{"code_sha256_prefix":"c735ca4e59ae3eed","entry":"_compute_back_distance_matrix","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c735ca4e59ae3eed"}},{"code_sha256_prefix":"d267b751d63e4603","entry":"_compute_directional_distance_matrix","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"d267b751d63e4603"}},{"code_sha256_prefix":"1b1712f2f6d8eea2","entry":"_compute_euclidean_distance_matrix","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"1b1712f2f6d8eea2"}},{"code_sha256_prefix":"2621ee31b4248047","entry":"_compute_front_distance_matrix","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"2621ee31b4248047"}},{"code_sha256_prefix":"7bdbfcd2647ccf86","entry":"_compute_left_distance_matrix","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"7bdbfcd2647ccf86"}},{"code_sha256_prefix":"cd4cdebb1eb7a64d","entry":"_compute_right_distance_matrix","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"ran_fixture","verification_level":1,"contract_check":"RAISES","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"cd4cdebb1eb7a64d"}},{"code_sha256_prefix":"1dccff18a6086a6d","entry":"Node","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"1dccff18a6086a6d"}},{"code_sha256_prefix":"d73c926361411fc3","entry":"Reach","repo":"lorenzobonin/strelgen","repo_kind":"found_in_text","path":"strel/strel_advanced.py","file_url":"https://github.com/lorenzobonin/strelgen/blob/HEAD/strel/strel_advanced.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"d73c926361411fc3"}}]},"arxiv_metadata":{"licence":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license)","fields":["title","abstract","authors","date"],"primary_category":"cs.LG","source":"arxiv_2026.jsonl"},"syntology_extracted_results":{"kind":"leaderboard_placements","source":"Syntology's leaderboard-shaped extractor over the paper's own arXiv-HTML tables: a model pointed at a cell, the number was read from that cell and checked against the board's metric, dataset, split and scale, and an independent check accepted the entry; not reviewed by the paper's authors or the archive's editors","extractor_model":"global.anthropic.claude-sonnet-4-5-20250929-v1:0","verifier_model":null,"prompt_sha":"fa63d4bb9d755694","coverage":{"sentence":"Syntology has checked 6,885 of the 9,623 papers on this site that are newer than the archive; results from the others appear after they are checked.","papers_newer_than_archive":9623,"papers_checked":6885},"entries":[],"not_placed":{"boards":0,"rejected_by_independent_check":0,"refused_by_a_rule":0,"check_did_not_answer":0,"proposed_without_a_cell":0,"declined_by_site":0}}}