FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949719783> ?p ?o ?g. }

• W2949719783 abstract "Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. We propose a compositional falsification framework where a temporal logic falsifier and a machine learning analyzer cooperate with the aim of finding falsifying executions of the considered model. The efficacy of the proposed technique is shown on an automatic emergency braking system model with a perception component based on deep neural networks." @default.
• W2949719783 created "2019-06-27" @default.
• W2949719783 creator A5064230639 @default.
• W2949719783 creator A5081324945 @default.
• W2949719783 creator A5084296935 @default.
• W2949719783 date "2017-03-02" @default.
• W2949719783 modified "2023-09-27" @default.
• W2949719783 title "Compositional Falsification of Cyber-Physical Systems with Machine Learning Components" @default.
• W2949719783 cites W1547304883 @default.
• W2949719783 cites W1566312021 @default.
• W2949719783 cites W1596324102 @default.
• W2949719783 cites W1932198206 @default.
• W2949719783 cites W1976544585 @default.
• W2949719783 cites W2040884411 @default.
• W2949719783 cites W2041053732 @default.
• W2949719783 cites W2043419861 @default.
• W2949719783 cites W2076350013 @default.
• W2949719783 cites W2098269688 @default.
• W2949719783 cites W2101804404 @default.
• W2949719783 cites W2104171123 @default.
• W2949719783 cites W2131399618 @default.
• W2949719783 cites W2153803621 @default.
• W2949719783 cites W2155195660 @default.
• W2949719783 cites W2155893237 @default.
• W2949719783 cites W2163605009 @default.
• W2949719783 cites W2243397390 @default.
• W2949719783 cites W2467659428 @default.
• W2949719783 cites W2543296129 @default.
• W2949719783 cites W2601434987 @default.
• W2949719783 cites W2616028256 @default.
• W2949719783 cites W2616554232 @default.
• W2949719783 cites W2744941094 @default.
• W2949719783 cites W2893132739 @default.
• W2949719783 cites W2963739340 @default.
• W2949719783 cites W2963857521 @default.
• W2949719783 cites W2964153729 @default.
• W2949719783 cites W3023761398 @default.
• W2949719783 cites W3163244177 @default.
• W2949719783 cites W618136976 @default.
• W2949719783 cites W618708471 @default.
• W2949719783 cites W3143605326 @default.
• W2949719783 hasPublicationYear "2017" @default.
• W2949719783 type Work @default.
• W2949719783 sameAs 2949719783 @default.
• W2949719783 citedByCount "2" @default.
• W2949719783 countsByYear W29497197832018 @default.
• W2949719783 crossrefType "posted-content" @default.
• W2949719783 hasAuthorship W2949719783A5064230639 @default.
• W2949719783 hasAuthorship W2949719783A5081324945 @default.
• W2949719783 hasAuthorship W2949719783A5084296935 @default.
• W2949719783 hasConcept C108583219 @default.
• W2949719783 hasConcept C111919701 @default.
• W2949719783 hasConcept C11413529 @default.
• W2949719783 hasConcept C119857082 @default.
• W2949719783 hasConcept C121332964 @default.
• W2949719783 hasConcept C127413603 @default.
• W2949719783 hasConcept C146978453 @default.
• W2949719783 hasConcept C154945302 @default.
• W2949719783 hasConcept C168167062 @default.
• W2949719783 hasConcept C179768478 @default.
• W2949719783 hasConcept C25016198 @default.
• W2949719783 hasConcept C37736160 @default.
• W2949719783 hasConcept C41008148 @default.
• W2949719783 hasConcept C50644808 @default.
• W2949719783 hasConcept C526921623 @default.
• W2949719783 hasConcept C55439883 @default.
• W2949719783 hasConcept C80444323 @default.
• W2949719783 hasConcept C97355855 @default.
• W2949719783 hasConceptScore W2949719783C108583219 @default.
• W2949719783 hasConceptScore W2949719783C111919701 @default.
• W2949719783 hasConceptScore W2949719783C11413529 @default.
• W2949719783 hasConceptScore W2949719783C119857082 @default.
• W2949719783 hasConceptScore W2949719783C121332964 @default.
• W2949719783 hasConceptScore W2949719783C127413603 @default.
• W2949719783 hasConceptScore W2949719783C146978453 @default.
• W2949719783 hasConceptScore W2949719783C154945302 @default.
• W2949719783 hasConceptScore W2949719783C168167062 @default.
• W2949719783 hasConceptScore W2949719783C179768478 @default.
• W2949719783 hasConceptScore W2949719783C25016198 @default.
• W2949719783 hasConceptScore W2949719783C37736160 @default.
• W2949719783 hasConceptScore W2949719783C41008148 @default.
• W2949719783 hasConceptScore W2949719783C50644808 @default.
• W2949719783 hasConceptScore W2949719783C526921623 @default.
• W2949719783 hasConceptScore W2949719783C55439883 @default.
• W2949719783 hasConceptScore W2949719783C80444323 @default.
• W2949719783 hasConceptScore W2949719783C97355855 @default.
• W2949719783 hasLocation W29497197831 @default.
• W2949719783 hasOpenAccess W2949719783 @default.
• W2949719783 hasPrimaryLocation W29497197831 @default.
• W2949719783 hasRelatedWork W1677904636 @default.
• W2949719783 hasRelatedWork W2156801658 @default.
• W2949719783 hasRelatedWork W2227202148 @default.
• W2949719783 hasRelatedWork W2511988939 @default.
• W2949719783 hasRelatedWork W2801898543 @default.
• W2949719783 hasRelatedWork W2887933419 @default.
• W2949719783 hasRelatedWork W2896693960 @default.
• W2949719783 hasRelatedWork W2921759077 @default.
• W2949719783 hasRelatedWork W2963100367 @default.
• W2949719783 hasRelatedWork W2963446231 @default.
• W2949719783 hasRelatedWork W3000662995 @default.

• next