{"id":"https://openalex.org/W2751537745","doi":"https://doi.org/10.1109/itsc.2017.8317647","title":"Ensuring drivability of planned motions using formal methods","display_name":"Ensuring drivability of planned motions using formal methods","publication_year":2017,"publication_date":"2017-10-01","ids":{"openalex":"https://openalex.org/W2751537745","doi":"https://doi.org/10.1109/itsc.2017.8317647","mag":"2751537745"},"language":"en","primary_location":{"id":"doi:10.1109/itsc.2017.8317647","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itsc.2017.8317647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://mediatum.ub.tum.de/1379676","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061752833","display_name":"Bastian Sch\u00fcrmann","orcid":"https://orcid.org/0000-0002-4760-5475"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Bastian Schurmann","raw_affiliation_strings":["Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061748223","display_name":"Daniel Hes","orcid":null},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Hes","raw_affiliation_strings":["Institute of Transportation Systems, German Aerospace Center (DLR), Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Transportation Systems, German Aerospace Center (DLR), Braunschweig, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073914616","display_name":"Jan Eilbrecht","orcid":null},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Eilbrecht","raw_affiliation_strings":["Department of Electrical and Computer Science, Universit\u00e4t Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Science, Universit\u00e4t Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040756775","display_name":"Olaf Stursberg","orcid":"https://orcid.org/0000-0002-9600-457X"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Olaf Stursberg","raw_affiliation_strings":["Department of Electrical and Computer Science, Universit\u00e4t Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Science, Universit\u00e4t Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073402824","display_name":"Frank K\u00f6ster","orcid":"https://orcid.org/0000-0001-8684-3698"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Frank Koster","raw_affiliation_strings":["Institute of Transportation Systems, German Aerospace Center (DLR), Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Transportation Systems, German Aerospace Center (DLR), Braunschweig, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005383495","display_name":"Matthias Althoff","orcid":"https://orcid.org/0000-0003-3733-842X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Althoff","raw_affiliation_strings":["Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5061752833"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":4.9965,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.96029858,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9995999932289124,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.989799976348877,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9271605014801025},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.8184381127357483},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7287642955780029},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6422744989395142},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.5870246291160583},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5711750388145447},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.5644330978393555},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5400103330612183},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5268582105636597},{"id":"https://openalex.org/keywords/vehicle-dynamics","display_name":"Vehicle dynamics","score":0.49895644187927246},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4592359960079193},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.42360377311706543},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.42076438665390015},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.38883286714553833},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3579711616039276},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.34247857332229614},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2672833800315857},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24124127626419067},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.22530639171600342},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.17879116535186768},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13548621535301208},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12347611784934998},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10987243056297302}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9271605014801025},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.8184381127357483},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7287642955780029},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6422744989395142},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.5870246291160583},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5711750388145447},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.5644330978393555},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5400103330612183},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5268582105636597},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.49895644187927246},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4592359960079193},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.42360377311706543},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.42076438665390015},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.38883286714553833},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3579711616039276},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.34247857332229614},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2672833800315857},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24124127626419067},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.22530639171600342},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.17879116535186768},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13548621535301208},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12347611784934998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10987243056297302},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/itsc.2017.8317647","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itsc.2017.8317647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC)","raw_type":"proceedings-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1379676","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1379676","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:mediatum.ub.tum.de:node/1379676","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1379676","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.6000000238418579,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W11820374","https://openalex.org/W46524434","https://openalex.org/W116204029","https://openalex.org/W1424654272","https://openalex.org/W1601512022","https://openalex.org/W1968651858","https://openalex.org/W1981723834","https://openalex.org/W1994475353","https://openalex.org/W2000982189","https://openalex.org/W2021667711","https://openalex.org/W2055340435","https://openalex.org/W2061469207","https://openalex.org/W2064649514","https://openalex.org/W2068384492","https://openalex.org/W2070291139","https://openalex.org/W2083725845","https://openalex.org/W2085865324","https://openalex.org/W2100538121","https://openalex.org/W2107872611","https://openalex.org/W2108394166","https://openalex.org/W2110316735","https://openalex.org/W2126008250","https://openalex.org/W2131457664","https://openalex.org/W2150292516","https://openalex.org/W2153219011","https://openalex.org/W2162597485","https://openalex.org/W2169289043","https://openalex.org/W2306644740","https://openalex.org/W2317131589","https://openalex.org/W2320062858","https://openalex.org/W2339842460","https://openalex.org/W2343568200","https://openalex.org/W2511075942","https://openalex.org/W2517622066","https://openalex.org/W2549401596","https://openalex.org/W2606061686","https://openalex.org/W2611243847","https://openalex.org/W2735485745","https://openalex.org/W2739560744","https://openalex.org/W2740508249","https://openalex.org/W2750147881","https://openalex.org/W2752215370","https://openalex.org/W2753412571","https://openalex.org/W2786598140","https://openalex.org/W6635932078","https://openalex.org/W6642245628","https://openalex.org/W6731923558"],"related_works":["https://openalex.org/W2624670663","https://openalex.org/W1997181008","https://openalex.org/W3153405850","https://openalex.org/W2131140118","https://openalex.org/W3009832342","https://openalex.org/W2039249716","https://openalex.org/W3005659200","https://openalex.org/W2751537745","https://openalex.org/W4312941588","https://openalex.org/W2742238549"],"abstract_inverted_index":{"Motion":[0],"planning":[1,22],"of":[2,39,61,81,95,106,114,142],"automated":[3],"vehicles":[4,56,107],"requires":[5],"dynamical":[6],"models":[7],"to":[8,35,71,128],"ensure":[9],"that":[10,20],"obtained":[11,109],"trajectories":[12],"are":[13,108,145],"drivable.":[14],"An":[15],"often":[16],"overlooked":[17],"aspect":[18],"is":[19,23,46,69],"motion":[21,101],"usually":[24],"done":[25],"using":[26],"simplified":[27],"models,":[28,86],"which":[29],"do":[30],"not":[31,47],"always":[32],"sufficiently":[33],"conform":[34],"the":[36,73,79,93,111,121],"real":[37],"behavior":[38],"vehicles.":[40],"Thus,":[41],"collision":[42],"avoidance":[43],"and":[44,64,117],"drivability":[45],"necessarily":[48],"ensured.":[49],"We":[50],"address":[51],"this":[52],"problem":[53],"by":[54,131,147],"modeling":[55],"as":[57],"differential":[58],"inclusions":[59],"composed":[60],"simple":[62],"dynamics":[63],"set-based":[65],"uncertainty;":[66],"conformance":[67],"testing":[68],"used":[70],"determine":[72],"required":[74],"uncertainty.":[75],"To":[76],"quickly":[77],"provide":[78],"set":[80],"solutions":[82],"for":[83,99,136],"these":[84],"uncertain":[85],"we":[87],"use":[88],"pre-computed":[89],"reachable":[90,104],"sets":[91,105],"(i.e.,":[92],"union":[94],"all":[96],"possible":[97],"solutions)":[98],"pre-selected":[100],"primitives.":[102],"The":[103,140],"through":[110],"novel":[112],"combination":[113],"optimization":[115],"techniques":[116],"reachability":[118],"analysis":[119],"in":[120],"controller":[122],"synthesis":[123],"\u2014":[124],"they":[125],"enable":[126],"us":[127],"guarantee":[129],"safety":[130],"checking":[132],"their":[133],"mutual":[134],"non-intersection":[135],"consecutive":[137],"time":[138],"intervals.":[139],"benefits":[141],"our":[143],"approach":[144],"demonstrated":[146],"numerical":[148],"experiments.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}