FRINK Linked Data Fragments server

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

• W3184919107 endingPage "618" @default.
• W3184919107 startingPage "595" @default.
• W3184919107 abstract "Abstract Hybrid system falsification is an important quality assurance method for cyber-physical systems with the advantage of scalability and feasibility in practice than exhaustive verification. Falsification, given a desired temporal specification, tries to find an input of violation instead of a proof guarantee. The state-of-the-art falsification approaches often employ stochastic hill-climbing optimization that minimizes the degree of satisfaction of the temporal specification, given by its quantitative robust semantics . However, it has been shown that the performance of falsification could be severely affected by the so-called scale problem , related to the different scales of the signals used in the specification (e.g., rpm and speed): in the robustness computation, the contribution of a signal could be masked by another one. In this paper, we propose a novel approach to tackle this problem. We first introduce a new robustness definition, called QB-Robustness , which combines classical Boolean satisfaction and quantitative robustness. We prove that QB-Robustness can be used to judge the satisfaction of the specification and avoid the scale problem in its computation. QB-Robustness is exploited by a falsification approach based on Monte Carlo Tree Search over the structure of the formal specification. First, tree traversal identifies the sub-formulas for which it is needed to compute the quantitative robustness. Then, on the leaves, numerical hill-climbing optimization is performed, aiming to falsify such sub-formulas. Our in-depth evaluation on multiple benchmarks demonstrates that our approach achieves better falsification results than the state-of-the-art falsification approaches guided by the classical quantitative robustness, and it is largely not affected by the scale problem." @default.
• W3184919107 created "2021-08-02" @default.
• W3184919107 creator A5010478725 @default.
• W3184919107 creator A5013382452 @default.
• W3184919107 creator A5021486887 @default.
• W3184919107 creator A5065190767 @default.
• W3184919107 creator A5070683475 @default.
• W3184919107 creator A5079579292 @default.
• W3184919107 date "2021-01-01" @default.
• W3184919107 modified "2023-09-27" @default.
• W3184919107 title "Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness" @default.
• W3184919107 cites W1533557569 @default.
• W3184919107 cites W1559151285 @default.
• W3184919107 cites W1625390266 @default.
• W3184919107 cites W172589331 @default.
• W3184919107 cites W2049399166 @default.
• W3184919107 cites W2061291692 @default.
• W3184919107 cites W2068619069 @default.
• W3184919107 cites W2119833845 @default.
• W3184919107 cites W2126316555 @default.
• W3184919107 cites W2131399618 @default.
• W3184919107 cites W2138428785 @default.
• W3184919107 cites W2153803621 @default.
• W3184919107 cites W2176215692 @default.
• W3184919107 cites W2257979135 @default.
• W3184919107 cites W2295828805 @default.
• W3184919107 cites W2336607923 @default.
• W3184919107 cites W2492473950 @default.
• W3184919107 cites W2554968732 @default.
• W3184919107 cites W2556282465 @default.
• W3184919107 cites W2735260746 @default.
• W3184919107 cites W2753454633 @default.
• W3184919107 cites W2759950027 @default.
• W3184919107 cites W2782623022 @default.
• W3184919107 cites W2798302610 @default.
• W3184919107 cites W2885880873 @default.
• W3184919107 cites W2897475762 @default.
• W3184919107 cites W2938564214 @default.
• W3184919107 cites W2956449613 @default.
• W3184919107 cites W2963003663 @default.
• W3184919107 cites W2963100367 @default.
• W3184919107 cites W3000662995 @default.
• W3184919107 cites W3090137276 @default.
• W3184919107 cites W3163244177 @default.
• W3184919107 cites W3163293973 @default.
• W3184919107 cites W32833432 @default.
• W3184919107 cites W4254581303 @default.
• W3184919107 cites W618136976 @default.
• W3184919107 doi "https://doi.org/10.1007/978-3-030-81685-8_29" @default.
• W3184919107 hasPublicationYear "2021" @default.
• W3184919107 type Work @default.
• W3184919107 sameAs 3184919107 @default.
• W3184919107 citedByCount "9" @default.
• W3184919107 countsByYear W31849191072021 @default.
• W3184919107 countsByYear W31849191072022 @default.
• W3184919107 countsByYear W31849191072023 @default.
• W3184919107 crossrefType "book-chapter" @default.
• W3184919107 hasAuthorship W3184919107A5010478725 @default.
• W3184919107 hasAuthorship W3184919107A5013382452 @default.
• W3184919107 hasAuthorship W3184919107A5021486887 @default.
• W3184919107 hasAuthorship W3184919107A5065190767 @default.
• W3184919107 hasAuthorship W3184919107A5070683475 @default.
• W3184919107 hasAuthorship W3184919107A5079579292 @default.
• W3184919107 hasBestOaLocation W31849191071 @default.
• W3184919107 hasConcept C104317684 @default.
• W3184919107 hasConcept C105795698 @default.
• W3184919107 hasConcept C11413529 @default.
• W3184919107 hasConcept C126255220 @default.
• W3184919107 hasConcept C140745168 @default.
• W3184919107 hasConcept C185592680 @default.
• W3184919107 hasConcept C19499675 @default.
• W3184919107 hasConcept C33923547 @default.
• W3184919107 hasConcept C41008148 @default.
• W3184919107 hasConcept C45374587 @default.
• W3184919107 hasConcept C48044578 @default.
• W3184919107 hasConcept C55493867 @default.
• W3184919107 hasConcept C63479239 @default.
• W3184919107 hasConcept C77088390 @default.
• W3184919107 hasConcept C80444323 @default.
• W3184919107 hasConceptScore W3184919107C104317684 @default.
• W3184919107 hasConceptScore W3184919107C105795698 @default.
• W3184919107 hasConceptScore W3184919107C11413529 @default.
• W3184919107 hasConceptScore W3184919107C126255220 @default.
• W3184919107 hasConceptScore W3184919107C140745168 @default.
• W3184919107 hasConceptScore W3184919107C185592680 @default.
• W3184919107 hasConceptScore W3184919107C19499675 @default.
• W3184919107 hasConceptScore W3184919107C33923547 @default.
• W3184919107 hasConceptScore W3184919107C41008148 @default.
• W3184919107 hasConceptScore W3184919107C45374587 @default.
• W3184919107 hasConceptScore W3184919107C48044578 @default.
• W3184919107 hasConceptScore W3184919107C55493867 @default.
• W3184919107 hasConceptScore W3184919107C63479239 @default.
• W3184919107 hasConceptScore W3184919107C77088390 @default.
• W3184919107 hasConceptScore W3184919107C80444323 @default.
• W3184919107 hasLocation W31849191071 @default.
• W3184919107 hasOpenAccess W3184919107 @default.
• W3184919107 hasPrimaryLocation W31849191071 @default.
• W3184919107 hasRelatedWork W1525643724 @default.

• next