{"id":"https://openalex.org/W2000982189","doi":"https://doi.org/10.1017/s0960129512000230","title":"Can we build it: formal synthesis of control strategies for cooperative driver assistance systems","display_name":"Can we build it: formal synthesis of control strategies for cooperative driver assistance systems","publication_year":2013,"publication_date":"2013-07-08","ids":{"openalex":"https://openalex.org/W2000982189","doi":"https://doi.org/10.1017/s0960129512000230","mag":"2000982189"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129512000230","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000230","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053665575","display_name":"Werner Damm","orcid":"https://orcid.org/0000-0002-7277-1803"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"WERNER DAMM","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg, Interdisciplinary Research Centre on Safety Critical Systems and OFFIS Transportation, Germany Email:"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg, Interdisciplinary Research Centre on Safety Critical Systems and OFFIS Transportation, Germany Email:","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038533300","display_name":"Hans-J\u00f6rg Peter","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"HANS-J\u00d6RG PETER","raw_affiliation_strings":["Universit\u00e4t des Saarlandes, Germany Email:"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t des Saarlandes, Germany Email:","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113558309","display_name":"JAN RAKOW","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"JAN RAKOW","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg, Germany Email:"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany Email:","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017966584","display_name":"Bernd Westphal","orcid":"https://orcid.org/0000-0002-6824-0567"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"BERND WESTPHAL","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t Freiburg, Germany Email:"],"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t Freiburg, Germany Email:","institution_ids":["https://openalex.org/I161046081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5053665575"],"corresponding_institution_ids":["https://openalex.org/I129877168"],"apc_list":null,"apc_paid":null,"fwci":1.8127,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.84735347,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"23","issue":"4","first_page":"676","last_page":"725"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.8055760264396667},{"id":"https://openalex.org/keywords/divide-and-conquer-algorithms","display_name":"Divide and conquer algorithms","score":0.7132853269577026},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6967133283615112},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.634424090385437},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6199436783790588},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6146438717842102},{"id":"https://openalex.org/keywords/advanced-driver-assistance-systems","display_name":"Advanced driver assistance systems","score":0.5945974588394165},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5560497641563416},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.49784278869628906},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4283665120601654},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.37465035915374756},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.306912362575531},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.26275575160980225},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.226229727268219},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14132559299468994},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0837322473526001}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8055760264396667},{"id":"https://openalex.org/C71559656","wikidata":"https://www.wikidata.org/wiki/Q671298","display_name":"Divide and conquer algorithms","level":2,"score":0.7132853269577026},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6967133283615112},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.634424090385437},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6199436783790588},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6146438717842102},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.5945974588394165},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5560497641563416},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.49784278869628906},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4283665120601654},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.37465035915374756},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.306912362575531},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.26275575160980225},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.226229727268219},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14132559299468994},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0837322473526001},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129512000230","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000230","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W7644391","https://openalex.org/W9012611","https://openalex.org/W104052354","https://openalex.org/W168504422","https://openalex.org/W1479687678","https://openalex.org/W1483600339","https://openalex.org/W1499500029","https://openalex.org/W1506670447","https://openalex.org/W1517638774","https://openalex.org/W1522694098","https://openalex.org/W1545792423","https://openalex.org/W1557819510","https://openalex.org/W1592788962","https://openalex.org/W1599863298","https://openalex.org/W1601373402","https://openalex.org/W1604256951","https://openalex.org/W1608477325","https://openalex.org/W1671951742","https://openalex.org/W1814031283","https://openalex.org/W1883009234","https://openalex.org/W1995691455","https://openalex.org/W1996393320","https://openalex.org/W2003384918","https://openalex.org/W2005998857","https://openalex.org/W2016206563","https://openalex.org/W2048905609","https://openalex.org/W2056195475","https://openalex.org/W2065672848","https://openalex.org/W2097679359","https://openalex.org/W2102488278","https://openalex.org/W2108843262","https://openalex.org/W2121909093","https://openalex.org/W2125506596","https://openalex.org/W2149442744","https://openalex.org/W2152533774","https://openalex.org/W2153604631","https://openalex.org/W2163487198","https://openalex.org/W2165276844","https://openalex.org/W2170622387","https://openalex.org/W2746790280","https://openalex.org/W2911432472","https://openalex.org/W2913192371","https://openalex.org/W3122394798","https://openalex.org/W4210957799","https://openalex.org/W4242441073","https://openalex.org/W4253380258","https://openalex.org/W4285719527","https://openalex.org/W6684709052","https://openalex.org/W6685089374"],"related_works":["https://openalex.org/W4247094814","https://openalex.org/W2352794675","https://openalex.org/W2111712077","https://openalex.org/W2051228988","https://openalex.org/W108531593","https://openalex.org/W8810113","https://openalex.org/W2158636562","https://openalex.org/W2162911572","https://openalex.org/W2019464130","https://openalex.org/W2773753696"],"abstract_inverted_index":{"We":[0,56],"propose":[1,57],"a":[2,58,84],"design":[3,13],"and":[4,60,76,89],"verification":[5],"methodology":[6],"supporting":[7],"the":[8,21,44,52,73,93,113],"early":[9],"phases":[10],"of":[11,23,47,72,83,86,92,101,112],"system":[12],"for":[14,63,109],"cooperative":[15],"driver":[16],"assistance":[17],"systems,":[18],"focusing":[19],"on":[20,30,69,80],"realisability":[22],"new":[24],"automotive":[25],"functions.":[26],"Specifically,":[27],"we":[28],"focus":[29],"applications":[31],"where":[32],"drivers":[33],"are":[34,104],"supported":[35],"in":[36],"complex":[37],"driving":[38,53,74,114],"tasks":[39],"by":[40],"safe":[41],"strategies":[42,108],"involving":[43],"coordinated":[45],"movements":[46],"multiple":[48],"vehicles":[49],"to":[50,106],"complete":[51],"task":[54,75],"successfully.":[55],"divide":[59],"conquer":[61],"approach":[62],"formally":[64],"verifying":[65],"timed":[66],"probabilistic":[67],"requirements":[68],"successful":[70,110],"completion":[71,111],"collision":[77],"freedom":[78],"based":[79],"formal":[81],"specifications":[82],"set":[85],"given":[87],"manoeuvring":[88],"communication":[90],"capabilities":[91],"car.":[94],"In":[95],"particular,":[96],"this":[97],"allows":[98],"an":[99],"assessment":[100],"whether":[102],"they":[103],"sufficient":[105],"implement":[107],"task.":[115]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}