{"id":"https://openalex.org/W7204206146","doi":"https://doi.org/10.48550/arxiv.2609.10951","title":"Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove","display_name":"Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove","publication_year":2026,"publication_date":"2026-08-25","ids":{"openalex":"https://openalex.org/W7204206146","doi":"https://doi.org/10.48550/arxiv.2609.10951"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.10951","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.10951","pdf_url":"https://arxiv.org/pdf/2609.10951","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.10951","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5150914538","display_name":"Menuka Ghalan","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ghalan, Menuka","raw_affiliation_strings":["Department of Computer Science , Western Michigan University , Kalamazoo , MI , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Western Michigan University , Kalamazoo , MI , USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5150929501","display_name":"Charles Rodgers","orcid":"https://orcid.org/0009-0003-4700-587X","observed_orcids":["https://orcid.org/0009-0003-4700-587X"]},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rodgers, Charles","raw_affiliation_strings":["Department of Computer Science , Western Michigan University , Kalamazoo , MI , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Western Michigan University , Kalamazoo , MI , USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001876199","display_name":"Zachary D. Asher","orcid":"https://orcid.org/0000-0002-0579-4685","observed_orcids":["https://orcid.org/0000-0002-0579-4685"]},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Asher, Zachary D.","raw_affiliation_strings":["Department of Mechanical and Aerospace Engineering , Western Michigan University , Kalamazoo , MI , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical and Aerospace Engineering , Western Michigan University , Kalamazoo , MI , USA","institution_ids":["https://openalex.org/I141649380"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I141649380"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.3488999903202057,"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.3488999903202057,"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/T10142","display_name":"Formal Methods in Verification","score":0.24869999289512634,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.2094999998807907,"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/formal-verification","display_name":"formal verification","score":0.8050000071525574},{"id":"https://openalex.org/keywords/bound-propagation","display_name":"bound propagation","score":0.9779999852180481},{"id":"https://openalex.org/keywords/autonomous-driving","display_name":"autonomous driving","score":0.4050000011920929},{"id":"https://openalex.org/keywords/lane-departure","display_name":"lane departure","score":0.628000020980835},{"id":"https://openalex.org/keywords/carla-simulator","display_name":"CARLA simulator","score":0.6549999713897705},{"id":"https://openalex.org/keywords/fog-conditions","display_name":"fog conditions","score":0.3880000114440918},{"id":"https://openalex.org/keywords/nighttime-driving","display_name":"night driving","score":0.871999979019165},{"id":"https://openalex.org/keywords/adversarial-robustness","display_name":"adversarial robustness","score":0.5709999799728394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4779999852180481},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.424699991941452},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3619000017642975},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.35429999232292175},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.30059999227523804},{"id":"https://openalex.org/C2781291010","wikidata":"https://www.wikidata.org/wiki/Q178580","display_name":"Period (music)","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.26440000534057617},{"id":"https://openalex.org/C108170787","wikidata":"https://www.wikidata.org/wiki/Q3951828","display_name":"Agency (philosophy)","level":2,"score":0.24950000643730164},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.24529999494552612},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.24369999766349792}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:2609.10951","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.10951","pdf_url":"https://arxiv.org/pdf/2609.10951","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.10951","doi":"https://doi.org/10.48550/arxiv.2609.10951","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.10951","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Preprint"},{"id":"doi:10.5281/zenodo.22101297","doi":"https://doi.org/10.5281/zenodo.22101297","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22101297","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.22101298","doi":"https://doi.org/10.5281/zenodo.22101298","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22101298","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},{"id":"doi:10.5281/zenodo.22699839","doi":"https://doi.org/10.5281/zenodo.22699839","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22699839","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.10951","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.10951","pdf_url":"https://arxiv.org/pdf/2609.10951","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204206146.pdf","grobid_xml":"https://content.openalex.org/works/W7204206146.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7214030371","https://openalex.org/W3135584977","https://openalex.org/W4225540779","https://openalex.org/W4308080808","https://openalex.org/W7217415752","https://openalex.org/W7008477440","https://openalex.org/W6959884278","https://openalex.org/W4399116115","https://openalex.org/W3010386726","https://openalex.org/W4288779898"],"abstract_inverted_index":{"AI-based":[0],"automated":[1,185],"vehicle":[2],"testing":[3],"is":[4,163,167],"challenging":[5],"because":[6],"a":[7,24,32,69,81,109,168,178],"model":[8],"that":[9,84,140,164],"passes":[10],"every":[11,97],"test":[12,158],"condition":[13],"can":[14,94],"still":[15],"fail":[16],"in":[17,47,128],"the":[18,86,114,142,157],"real":[19],"world.":[20],"Formal":[21],"verification":[22,137,166,181],"offers":[23],"way":[25],"to":[26,89,171],"directly":[27],"address":[28],"this":[29],"gap.":[30],"On":[31],"simulated":[33],"highway":[34],"and":[35,54,60,173,182],"an":[36],"arterial":[37,115],"road":[38],"we":[39,77],"trained":[40,87],"two":[41,101],"small":[42],"end-to-end":[43],"steering":[44,93],"networks":[45],"each":[46,123],"CARLA,":[48],"one":[49,55,131],"on":[50,56,113,130],"clear":[51],"conditions":[52,139],"alone":[53],"clear,":[57],"fog,":[58],"night":[59],"low":[61],"sun.":[62],"All":[63],"four":[64],"models":[65],"were":[66],"driven":[67],"against":[68],"2.19":[70],"ft":[71],"lane-departure":[72],"budget.":[73],"Without":[74],"driving":[75],"again,":[76],"used":[78],"bound":[79],"propagation,":[80],"formal":[82,136,165],"method":[83],"reads":[85],"weights,":[88],"compute":[90],"how":[91],"far":[92],"drift":[95],"at":[96],"disturbance":[98],"strength":[99],"between":[100,156],"captured":[102],"images.":[103],"One":[104],"calculation":[105],"covers":[106],"more":[107],"than":[108],"campaign":[110],"could":[111,174],"drive:":[112],"it":[116,148],"spans":[117],"133":[118],"poses,":[119],"where":[120],"ten":[121],"intensities":[122],"would":[124],"be":[125,175],"10^133":[126],"combinations,":[127],"minutes":[129],"GPU.":[132],"Not":[133],"only":[134],"did":[135],"find":[138],"broke":[141],"clear-trained":[143],"policy":[144],"without":[145],"simulation":[146],"testing,":[147],"provided":[149],"some":[150],"preliminary":[151],"evidence":[152],"for":[153,184],"potential":[154],"failures":[155],"cases.":[159],"Our":[160],"overall":[161],"conclusion":[162],"viable":[169],"complement":[170],"simulation,":[172],"adopted":[176],"as":[177],"part":[179],"of":[180],"validation":[183],"driving.":[186]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-08-26T00:00:00"}