Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382794295> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4382794295 endingPage "104488" @default.
- W4382794295 startingPage "104488" @default.
- W4382794295 abstract "While checking functional correctness for automated driving is often achieved through vast amounts of automated and manual field testing, automating specification verification is essential for developing and releasing fully self-driving vehicles. This paper presents an automatic bounded model checking approach for functional specifications over longitudinal vehicle controller implementations. The proposed method checks the actual embedded program, rather than an extracted abstract model. The specification is converted into a monitor that is interleaved with the execution of the program over a finite time horizon in closed-loop simulation. A decomposition is proposed to tackle the verification complexity. This allows verifying the program for whole parameter sets using a software model checker as opposed to testing only individual samples. The approach is capable of identifying functional flaws in several exemplary longitudinal controllers with variable complexity." @default.
- W4382794295 created "2023-07-02" @default.
- W4382794295 creator A5032442070 @default.
- W4382794295 date "2023-09-01" @default.
- W4382794295 modified "2023-10-02" @default.
- W4382794295 title "Model checking embedded adaptive cruise controllers" @default.
- W4382794295 cites W1524886571 @default.
- W4382794295 cites W1965455100 @default.
- W4382794295 cites W1991849315 @default.
- W4382794295 cites W1992475661 @default.
- W4382794295 cites W2021667711 @default.
- W4382794295 cites W2111204826 @default.
- W4382794295 cites W2112398472 @default.
- W4382794295 cites W2126509366 @default.
- W4382794295 cites W2160838104 @default.
- W4382794295 cites W2328067583 @default.
- W4382794295 cites W2344321026 @default.
- W4382794295 cites W2753562921 @default.
- W4382794295 cites W2762978019 @default.
- W4382794295 cites W2809085583 @default.
- W4382794295 cites W2811472820 @default.
- W4382794295 cites W2884812161 @default.
- W4382794295 cites W2912806430 @default.
- W4382794295 cites W2964297799 @default.
- W4382794295 cites W2965660219 @default.
- W4382794295 cites W2999560371 @default.
- W4382794295 cites W3086854072 @default.
- W4382794295 cites W3106637877 @default.
- W4382794295 cites W3136521622 @default.
- W4382794295 cites W3156128875 @default.
- W4382794295 cites W3189928571 @default.
- W4382794295 cites W3210895911 @default.
- W4382794295 cites W4210825707 @default.
- W4382794295 cites W4306834884 @default.
- W4382794295 cites W4307336050 @default.
- W4382794295 doi "https://doi.org/10.1016/j.robot.2023.104488" @default.
- W4382794295 hasPublicationYear "2023" @default.
- W4382794295 type Work @default.
- W4382794295 citedByCount "0" @default.
- W4382794295 crossrefType "journal-article" @default.
- W4382794295 hasAuthorship W4382794295A5032442070 @default.
- W4382794295 hasConcept C110251889 @default.
- W4382794295 hasConcept C111498074 @default.
- W4382794295 hasConcept C113168747 @default.
- W4382794295 hasConcept C149635348 @default.
- W4382794295 hasConcept C154945302 @default.
- W4382794295 hasConcept C199360897 @default.
- W4382794295 hasConcept C203479927 @default.
- W4382794295 hasConcept C2775924081 @default.
- W4382794295 hasConcept C2777904410 @default.
- W4382794295 hasConcept C41008148 @default.
- W4382794295 hasConcept C55439883 @default.
- W4382794295 hasConcept C6557445 @default.
- W4382794295 hasConcept C86803240 @default.
- W4382794295 hasConceptScore W4382794295C110251889 @default.
- W4382794295 hasConceptScore W4382794295C111498074 @default.
- W4382794295 hasConceptScore W4382794295C113168747 @default.
- W4382794295 hasConceptScore W4382794295C149635348 @default.
- W4382794295 hasConceptScore W4382794295C154945302 @default.
- W4382794295 hasConceptScore W4382794295C199360897 @default.
- W4382794295 hasConceptScore W4382794295C203479927 @default.
- W4382794295 hasConceptScore W4382794295C2775924081 @default.
- W4382794295 hasConceptScore W4382794295C2777904410 @default.
- W4382794295 hasConceptScore W4382794295C41008148 @default.
- W4382794295 hasConceptScore W4382794295C55439883 @default.
- W4382794295 hasConceptScore W4382794295C6557445 @default.
- W4382794295 hasConceptScore W4382794295C86803240 @default.
- W4382794295 hasLocation W43827942951 @default.
- W4382794295 hasOpenAccess W4382794295 @default.
- W4382794295 hasPrimaryLocation W43827942951 @default.
- W4382794295 hasRelatedWork W108742494 @default.
- W4382794295 hasRelatedWork W1485135523 @default.
- W4382794295 hasRelatedWork W1987761485 @default.
- W4382794295 hasRelatedWork W2006962382 @default.
- W4382794295 hasRelatedWork W2031779469 @default.
- W4382794295 hasRelatedWork W2095002986 @default.
- W4382794295 hasRelatedWork W2503554208 @default.
- W4382794295 hasRelatedWork W4315606162 @default.
- W4382794295 hasRelatedWork W4362734964 @default.
- W4382794295 hasRelatedWork W2340807904 @default.
- W4382794295 hasVolume "167" @default.
- W4382794295 isParatext "false" @default.
- W4382794295 isRetracted "false" @default.
- W4382794295 workType "article" @default.