Matches in SemOpenAlex for { <https://semopenalex.org/work/W2884685148> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2884685148 abstract "Robustness-Guided Falsification (RGF) is an efficient testing technique that tries to find a system execution that violates some formal specification, by minimizing the robustness of the specification over the set of initial conditions of the system. Robustness uses an underlying distance function on the space of system executions. As RGF is applied to new fields like medicine, it is essential to determine whether our distances still capture the domain expert's intuition of which executions are similar and which are not. Motivated by the problem of testing the algorithms of cardiac defibrillators implanted in millions of patients worldwide, this work develops a (pseudo-)distance function, called conformance, over the space of cardiac signals. By using it to distinguish between fatal and non-fatal arrhythmias obtained from real patients, it is demonstrated that conformance measures the meaningful distance between cardiac signals much better than distances used in medical devices today. Next, conformance is used to re-define the robustness degrees of Metric Temporal Logic (MTL), and it is shown that conformance-based robust semantics of MTL can bound the (conformance-based) robustness degree, thus enabling a principled application of RGF to problems in the cardiac domain, using the appropriate distance notion. Using existing robust semantics based on sup norm can yield incorrect conclusions, with potentially severe consequences to patients." @default.
- W2884685148 created "2018-08-03" @default.
- W2884685148 creator A5009445756 @default.
- W2884685148 creator A5021880681 @default.
- W2884685148 date "2018-06-01" @default.
- W2884685148 modified "2023-09-26" @default.
- W2884685148 title "Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology" @default.
- W2884685148 cites W1506101803 @default.
- W2884685148 cites W1508695273 @default.
- W2884685148 cites W1526296234 @default.
- W2884685148 cites W1533557569 @default.
- W2884685148 cites W1569239057 @default.
- W2884685148 cites W1875975371 @default.
- W2884685148 cites W1898424075 @default.
- W2884685148 cites W189973795 @default.
- W2884685148 cites W1966224165 @default.
- W2884685148 cites W1992777946 @default.
- W2884685148 cites W2049399166 @default.
- W2884685148 cites W2054704105 @default.
- W2884685148 cites W2099184371 @default.
- W2884685148 cites W2112248103 @default.
- W2884685148 cites W2157202548 @default.
- W2884685148 cites W2291989804 @default.
- W2884685148 cites W2521098037 @default.
- W2884685148 cites W2607424191 @default.
- W2884685148 cites W2612952478 @default.
- W2884685148 cites W574546601 @default.
- W2884685148 doi "https://doi.org/10.23919/acc.2018.8431460" @default.
- W2884685148 hasPublicationYear "2018" @default.
- W2884685148 type Work @default.
- W2884685148 sameAs 2884685148 @default.
- W2884685148 citedByCount "4" @default.
- W2884685148 countsByYear W28846851482020 @default.
- W2884685148 countsByYear W28846851482021 @default.
- W2884685148 crossrefType "proceedings-article" @default.
- W2884685148 hasAuthorship W2884685148A5009445756 @default.
- W2884685148 hasAuthorship W2884685148A5021880681 @default.
- W2884685148 hasBestOaLocation W28846851482 @default.
- W2884685148 hasConcept C104317684 @default.
- W2884685148 hasConcept C124101348 @default.
- W2884685148 hasConcept C154945302 @default.
- W2884685148 hasConcept C185592680 @default.
- W2884685148 hasConcept C41008148 @default.
- W2884685148 hasConcept C55493867 @default.
- W2884685148 hasConcept C63479239 @default.
- W2884685148 hasConcept C80444323 @default.
- W2884685148 hasConceptScore W2884685148C104317684 @default.
- W2884685148 hasConceptScore W2884685148C124101348 @default.
- W2884685148 hasConceptScore W2884685148C154945302 @default.
- W2884685148 hasConceptScore W2884685148C185592680 @default.
- W2884685148 hasConceptScore W2884685148C41008148 @default.
- W2884685148 hasConceptScore W2884685148C55493867 @default.
- W2884685148 hasConceptScore W2884685148C63479239 @default.
- W2884685148 hasConceptScore W2884685148C80444323 @default.
- W2884685148 hasLocation W28846851481 @default.
- W2884685148 hasLocation W28846851482 @default.
- W2884685148 hasOpenAccess W2884685148 @default.
- W2884685148 hasPrimaryLocation W28846851481 @default.
- W2884685148 hasRelatedWork W1566748826 @default.
- W2884685148 hasRelatedWork W2102108943 @default.
- W2884685148 hasRelatedWork W2165107393 @default.
- W2884685148 hasRelatedWork W2336728141 @default.
- W2884685148 hasRelatedWork W2345730262 @default.
- W2884685148 hasRelatedWork W24620155 @default.
- W2884685148 hasRelatedWork W2592242776 @default.
- W2884685148 hasRelatedWork W2753637750 @default.
- W2884685148 hasRelatedWork W2782289391 @default.
- W2884685148 hasRelatedWork W2911681873 @default.
- W2884685148 hasRelatedWork W2949730470 @default.
- W2884685148 hasRelatedWork W2960913870 @default.
- W2884685148 hasRelatedWork W2978342210 @default.
- W2884685148 hasRelatedWork W2994717975 @default.
- W2884685148 hasRelatedWork W3002131425 @default.
- W2884685148 hasRelatedWork W3039705409 @default.
- W2884685148 hasRelatedWork W3085446862 @default.
- W2884685148 hasRelatedWork W3106234539 @default.
- W2884685148 hasRelatedWork W3126593751 @default.
- W2884685148 hasRelatedWork W3174922609 @default.
- W2884685148 isParatext "false" @default.
- W2884685148 isRetracted "false" @default.
- W2884685148 magId "2884685148" @default.
- W2884685148 workType "article" @default.