{"id":"https://openalex.org/W7161821449","doi":"https://doi.org/10.48550/arxiv.2605.19038","title":"Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic","display_name":"Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic","publication_year":2026,"publication_date":"2026-05-18","ids":{"openalex":"https://openalex.org/W7161821449","doi":"https://doi.org/10.48550/arxiv.2605.19038"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.19038","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.19038","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.19038","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136521288","display_name":"Lorenzo Bonin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bonin, Lorenzo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092872319","display_name":"Francesco Giacomarra","orcid":"https://orcid.org/0000-0001-6687-442X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giacomarra, Francesco","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bortolussi, Luca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136521745","display_name":"Jyotirmoy V. Deshmukh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deshmukh, Jyotirmoy V.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5000007208","display_name":"Francesca Cairoli","orcid":"https://orcid.org/0000-0002-6994-6553"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cairoli, Francesca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.5378000140190125,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.5378000140190125,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10775","display_name":"Generative Adversarial Networks and Image Synthesis","score":0.09870000183582306,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.07129999995231628,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.578499972820282},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5645999908447266},{"id":"https://openalex.org/keywords/advanced-driver-assistance-systems","display_name":"Advanced driver assistance systems","score":0.3411000072956085},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.3409000039100647},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.337799996137619},{"id":"https://openalex.org/keywords/enhanced-data-rates-for-gsm-evolution","display_name":"Enhanced Data Rates for GSM Evolution","score":0.3246999979019165},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.2761000096797943}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6791999936103821},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.578499972820282},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5645999908447266},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4185999929904938},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3736000061035156},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.3411000072956085},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.337799996137619},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.296999990940094},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2702000141143799},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26739999651908875},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.26489999890327454},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.26190000772476196},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.19038","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.19038","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.19038","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.19038","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.41161149740219116,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,127],"rapid":[1],"advancement":[2],"of":[3,12,27,69,103,132,164],"autonomous":[4,157],"driving":[5,71,158],"(AD)":[6],"technologies":[7],"has":[8],"outpaced":[9],"the":[10,44,66,118,142,162],"development":[11],"robust":[13],"safety":[14,90],"evaluation":[15],"methods.":[16],"Conventional":[17],"testing":[18],"relies":[19],"on":[20],"exposing":[21],"AD":[22],"systems":[23],"to":[24,122],"vast":[25],"numbers":[26],"real-world":[28,52],"traffic":[29],"scenes":[30],"--":[31],"a":[32,62,76,95,149],"brute-force":[33,165],"approach":[34],"that":[35,87,139],"is":[36,106,129],"prohibitively":[37],"expensive":[38],"and":[39,91,152],"statistically":[40],"ineffective":[41],"at":[42],"capturing":[43],"rare,":[45],"safety-critical":[46,70,136],"edge":[47],"cases":[48],"essential":[49],"for":[50,65,155],"validating":[51],"robustness.":[53],"To":[54],"address":[55],"this":[56],"fundamental":[57],"limitation,":[58],"we":[59,114],"introduce":[60],"STRELGen,":[61],"scalable":[63],"framework":[64],"targeted":[67],"generation":[68,131],"scenarios.":[72],"STRELGen":[73,146],"synergistically":[74],"combines":[75],"multi-agent":[77,137],"trajectory-generation":[78],"diffusion":[79],"model":[80],"(DM)":[81],"with":[82],"Spatio-Temporal":[83],"Logic":[84],"(STREL)":[85],"specifications":[86,105],"encode":[88],"complex":[89],"realism":[92],"properties":[93],"through":[94],"highly":[96,133],"interpretable":[97],"formalism.":[98],"Crucially,":[99],"monitoring":[100],"satisfaction":[101],"levels":[102],"these":[104],"differentiable,":[107],"enabling":[108],"gradient-based":[109],"search.":[110],"At":[111],"inference":[112],"time,":[113],"optimize":[115],"directly":[116],"over":[117],"DM":[119],"latent":[120],"space":[121],"maximize":[123],"STREL":[124],"formula":[125],"satisfaction.":[126],"result":[128],"efficient":[130],"plausible":[134],"yet":[135],"scenarios":[138],"lie":[140],"within":[141],"learned":[143],"data":[144,166],"distribution.":[145],"thus":[147],"provides":[148],"flexible,":[150],"interpretable,":[151],"powerful":[153],"tool":[154],"stress-testing":[156],"systems,":[159],"moving":[160],"beyond":[161],"limitations":[163],"collection.":[167]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-21T00:00:00"}