Matches in SemOpenAlex for { <https://semopenalex.org/work/W2789413254> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2789413254 endingPage "38" @default.
- W2789413254 startingPage "31" @default.
- W2789413254 abstract "Analyzing the safety of automotive systems at the application level is -especially challenging as often very complex or even incomplete models are available. The authors combine formal reasoning with simulation data to effectively -validate safety or estimate worst case situations of automotive control systems. <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>—Hans-Joachim Wunderlich, Universität Stuttgart</i>" @default.
- W2789413254 created "2018-03-29" @default.
- W2789413254 creator A5019603699 @default.
- W2789413254 creator A5053513193 @default.
- W2789413254 creator A5085795401 @default.
- W2789413254 date "2018-06-01" @default.
- W2789413254 modified "2023-09-27" @default.
- W2789413254 title "Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features" @default.
- W2789413254 cites W2021667711 @default.
- W2789413254 cites W2124001687 @default.
- W2789413254 cites W2153803621 @default.
- W2789413254 cites W2328067583 @default.
- W2789413254 cites W2406067508 @default.
- W2789413254 doi "https://doi.org/10.1109/mdat.2018.2799804" @default.
- W2789413254 hasPublicationYear "2018" @default.
- W2789413254 type Work @default.
- W2789413254 sameAs 2789413254 @default.
- W2789413254 citedByCount "16" @default.
- W2789413254 countsByYear W27894132542018 @default.
- W2789413254 countsByYear W27894132542019 @default.
- W2789413254 countsByYear W27894132542020 @default.
- W2789413254 countsByYear W27894132542021 @default.
- W2789413254 countsByYear W27894132542023 @default.
- W2789413254 crossrefType "journal-article" @default.
- W2789413254 hasAuthorship W2789413254A5019603699 @default.
- W2789413254 hasAuthorship W2789413254A5053513193 @default.
- W2789413254 hasAuthorship W2789413254A5085795401 @default.
- W2789413254 hasBestOaLocation W27894132541 @default.
- W2789413254 hasConcept C111498074 @default.
- W2789413254 hasConcept C115903868 @default.
- W2789413254 hasConcept C127413603 @default.
- W2789413254 hasConcept C146978453 @default.
- W2789413254 hasConcept C17744445 @default.
- W2789413254 hasConcept C199539241 @default.
- W2789413254 hasConcept C41008148 @default.
- W2789413254 hasConcept C526921623 @default.
- W2789413254 hasConcept C65414064 @default.
- W2789413254 hasConcept C80444323 @default.
- W2789413254 hasConceptScore W2789413254C111498074 @default.
- W2789413254 hasConceptScore W2789413254C115903868 @default.
- W2789413254 hasConceptScore W2789413254C127413603 @default.
- W2789413254 hasConceptScore W2789413254C146978453 @default.
- W2789413254 hasConceptScore W2789413254C17744445 @default.
- W2789413254 hasConceptScore W2789413254C199539241 @default.
- W2789413254 hasConceptScore W2789413254C41008148 @default.
- W2789413254 hasConceptScore W2789413254C526921623 @default.
- W2789413254 hasConceptScore W2789413254C65414064 @default.
- W2789413254 hasConceptScore W2789413254C80444323 @default.
- W2789413254 hasIssue "3" @default.
- W2789413254 hasLocation W27894132541 @default.
- W2789413254 hasOpenAccess W2789413254 @default.
- W2789413254 hasPrimaryLocation W27894132541 @default.
- W2789413254 hasRelatedWork W1524361563 @default.
- W2789413254 hasRelatedWork W1528535001 @default.
- W2789413254 hasRelatedWork W2104185553 @default.
- W2789413254 hasRelatedWork W2117798332 @default.
- W2789413254 hasRelatedWork W2338700700 @default.
- W2789413254 hasRelatedWork W2562928796 @default.
- W2789413254 hasRelatedWork W3005871351 @default.
- W2789413254 hasRelatedWork W3014454099 @default.
- W2789413254 hasRelatedWork W3091728393 @default.
- W2789413254 hasRelatedWork W61995002 @default.
- W2789413254 hasVolume "35" @default.
- W2789413254 isParatext "false" @default.
- W2789413254 isRetracted "false" @default.
- W2789413254 magId "2789413254" @default.
- W2789413254 workType "article" @default.