{"id":"https://openalex.org/W6929813628","doi":"https://doi.org/10.5281/zenodo.10556436","title":"Supplementary Material for \"Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development\"","display_name":"Supplementary Material for \"Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development\"","publication_year":2023,"publication_date":"2023-10-13","ids":{"openalex":"https://openalex.org/W6929813628","doi":"https://doi.org/10.5281/zenodo.10556436"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10556436","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10556436","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,"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":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10556436","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Koenig, Lukas","orcid":"https://orcid.org/0000-0002-7840-1459"},"institutions":[{"id":"https://openalex.org/I4210145457","display_name":"Robert Bosch (Taiwan)","ror":"https://ror.org/046as2g47","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210145457","https://openalex.org/I889804353"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Koenig, Lukas","raw_affiliation_strings":["Robert Bosch GmbH"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH","institution_ids":["https://openalex.org/I4210145457"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Heinzemann, Christian","orcid":"https://orcid.org/0000-0003-2144-6215"},"institutions":[{"id":"https://openalex.org/I4210145457","display_name":"Robert Bosch (Taiwan)","ror":"https://ror.org/046as2g47","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210145457","https://openalex.org/I889804353"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Heinzemann, Christian","raw_affiliation_strings":["Robert Bosch GmbH"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH","institution_ids":["https://openalex.org/I4210145457"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Griggio, Alberto","orcid":"https://orcid.org/0000-0002-3311-0893"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Griggio, Alberto","raw_affiliation_strings":["Fondazione Bruno Kessler"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Klauck, Michaela","orcid":"https://orcid.org/0000-0002-6353-227X"},"institutions":[{"id":"https://openalex.org/I4210145457","display_name":"Robert Bosch (Taiwan)","ror":"https://ror.org/046as2g47","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210145457","https://openalex.org/I889804353"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Klauck, Michaela","raw_affiliation_strings":["Robert Bosch GmbH"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH","institution_ids":["https://openalex.org/I4210145457"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Cimatti, Alessandro","orcid":"https://orcid.org/0000-0002-1315-6990"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cimatti, Alessandro","raw_affiliation_strings":["Fondazione Bruno Kessler"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Henze, Franziska","orcid":"https://orcid.org/0000-0003-1398-9287"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henze, Franziska","raw_affiliation_strings":["CARIAD SE"],"affiliations":[{"raw_affiliation_string":"CARIAD SE","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tonetta, Stefano","orcid":"https://orcid.org/0000-0001-9091-7899"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tonetta, Stefano","raw_affiliation_strings":["Fondazione Bruno Kessler"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Kueperkoch, Stefan","orcid":"https://orcid.org/0009-0003-9200-3224"},"institutions":[{"id":"https://openalex.org/I4210145457","display_name":"Robert Bosch (Taiwan)","ror":"https://ror.org/046as2g47","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210145457","https://openalex.org/I889804353"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kueperkoch, Stefan","raw_affiliation_strings":["Robert Bosch GmbH"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH","institution_ids":["https://openalex.org/I4210145457"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Fassbender, Dennis","orcid":"https://orcid.org/0009-0003-5256-2478"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fassbender, Dennis","raw_affiliation_strings":["CARIAD SE"],"affiliations":[{"raw_affiliation_string":"CARIAD SE","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Hanselmann, Michael","orcid":"https://orcid.org/0009-0009-6471-4049"},"institutions":[{"id":"https://openalex.org/I4210145457","display_name":"Robert Bosch (Taiwan)","ror":"https://ror.org/046as2g47","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210145457","https://openalex.org/I889804353"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Hanselmann, Michael","raw_affiliation_strings":["Robert Bosch GmbH"],"affiliations":[{"raw_affiliation_string":"Robert Bosch GmbH","institution_ids":["https://openalex.org/I4210145457"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210145457"],"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":true,"primary_topic":{"id":"https://openalex.org/T10212","display_name":"Electrochemical sensors and biosensors","score":0.5360999703407288,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10212","display_name":"Electrochemical sensors and biosensors","score":0.5360999703407288,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11434","display_name":"Electrochemical Analysis and Applications","score":0.10369999706745148,"subfield":{"id":"https://openalex.org/subfields/1603","display_name":"Electrochemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10660","display_name":"Conducting polymers and applications","score":0.02669999934732914,"subfield":{"id":"https://openalex.org/subfields/2507","display_name":"Polymers and Plastics"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.8973000049591064},{"id":"https://openalex.org/keywords/license","display_name":"License","score":0.6632000207901001},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6549000144004822},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6401000022888184},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.45730000734329224}],"concepts":[{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.8973000049591064},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7681999802589417},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.6632000207901001},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6549000144004822},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6401000022888184},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.45730000734329224},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3546000123023987},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31709998846054077},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.29499998688697815},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2919999957084656},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.274399995803833}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10556436","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10556436","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,"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":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10556436","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10556436","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,"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":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,187],"archive":[1,188],"contains":[2],"supplementary":[3],"material":[4],"for":[5,92,172],"the":[6,29,38,69,78,83,88,95,112,117,128,133,140,152,163,168,175,182],"TACAS":[7],"2024":[8],"submission":[9],"\"Towards":[10],"Safe":[11],"Autonomous":[12],"Driving:":[13],"Model":[14],"Checking":[15],"a":[16],"Behavior":[17],"Planner":[18],"during":[19],"Development\".":[20],"Content":[21],"`planner.cpp`:":[22],"The":[23,53,159,178],"mock":[24,96],"behavior":[25,101],"planner":[26,97],"described":[27],"in":[28,68,77,116,132,195],"paper,":[30],"used":[31,109,125],"to":[32,48,110,126,155,194],"control":[33],"an":[34,72,144,147],"automated":[35],"car":[36],"on":[37,60],"highway.":[39],"(For":[40],"demonstration":[41],"purposes":[42],"only!":[43],"It":[44],"is":[45,157,165],"deliberately":[46],"designed":[47],"violate":[49],"major":[50],"safety":[51],"requirements.)":[52],"file":[54],"can":[55,65],"be":[56,66,190],"compiled":[57],"and":[58,63],"run":[59],"its":[61],"own,":[62],"it":[64],"model-checked":[67],"context":[70],"of":[71,82,94,139,150,162,197],"environment":[73,84],"model,":[74],"as":[75,108,124],"explained":[76],"paper.":[79,118,134],"Two":[80],"versions":[81],"model":[85],"which":[86,181],"provide":[87],"surrounding":[89],"traffic":[90],"simulation":[91],"model-checking":[93],"(or":[98],"other":[99],"custom":[100],"planners).":[102],"`EnvModel_3NONEGOS.smv`:":[103],"With":[104,120],"3":[105],"non-ego":[106,122],"cars,":[107,123],"illustrate":[111,127],"\"Double":[113],"Merge\"":[114],"issue":[115,131],"`EnvModel_7NONEGOS.smv`:":[119],"7":[121],"\"Gap":[129],"Occlusion\"":[130],"`towards_safe_autonomous_driving_extended.pdf`:":[135],"An":[136],"extended":[137],"version":[138,170],"submitted":[141,169],"paper":[142,164],"containing":[143],"appendix":[145],"with":[146,167],"in-depth":[148],"description":[149],"how":[151],"transition":[153],"system":[154],"model-check":[156],"created.":[158],"main":[160],"part":[161],"identical":[166],"(except":[171],"references":[173],"into":[174],"appendix).":[176],"`LICENSE.txt`:":[177],"license":[179],"under":[180],"files":[183],"are":[184],"provided.":[185],"NOTE:":[186],"will":[189],"allowed":[191],"public":[192],"access":[193],"case":[196],"acceptance":[198],"at":[199],"TACAS.":[200]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}