Matches in SemOpenAlex for { <https://semopenalex.org/work/W2794031694> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2794031694 endingPage "43" @default.
- W2794031694 startingPage "25" @default.
- W2794031694 abstract "Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsification, namely time staging, that allows the time-causal structure of time-dependent signals to be exploited by the optimizers. Time staging consists of running a falsification solver multiple times, from one interval to another, incrementally constructing an input signal candidate. Our experiments show that time staging can dramatically increase performance in some realistic examples. We also present theoretical results that suggest the kinds of models and specifications for which time staging is likely to be effective." @default.
- W2794031694 created "2018-03-29" @default.
- W2794031694 creator A5013382452 @default.
- W2794031694 creator A5041448256 @default.
- W2794031694 creator A5049068584 @default.
- W2794031694 creator A5081670169 @default.
- W2794031694 date "2022-07-14" @default.
- W2794031694 modified "2023-09-30" @default.
- W2794031694 title "Time-Staging Enhancement of Hybrid System Falsification" @default.
- W2794031694 cites W1503296932 @default.
- W2794031694 cites W1533557569 @default.
- W2794031694 cites W1547304883 @default.
- W2794031694 cites W2041422323 @default.
- W2794031694 cites W2049399166 @default.
- W2794031694 cites W2056605754 @default.
- W2794031694 cites W2068619069 @default.
- W2794031694 cites W2101804404 @default.
- W2794031694 cites W2131399618 @default.
- W2794031694 cites W2151554678 @default.
- W2794031694 cites W2153803621 @default.
- W2794031694 cites W2167799541 @default.
- W2794031694 cites W2295828805 @default.
- W2794031694 cites W2341219289 @default.
- W2794031694 cites W2469998798 @default.
- W2794031694 cites W2556282465 @default.
- W2794031694 cites W2571592482 @default.
- W2794031694 cites W2735260746 @default.
- W2794031694 cites W3100743289 @default.
- W2794031694 cites W3163244177 @default.
- W2794031694 cites W32833432 @default.
- W2794031694 cites W618136976 @default.
- W2794031694 cites W618708471 @default.
- W2794031694 doi "https://doi.org/10.4204/eptcs.361.5" @default.
- W2794031694 hasPublicationYear "2022" @default.
- W2794031694 type Work @default.
- W2794031694 sameAs 2794031694 @default.
- W2794031694 citedByCount "1" @default.
- W2794031694 countsByYear W27940316942023 @default.
- W2794031694 crossrefType "journal-article" @default.
- W2794031694 hasAuthorship W2794031694A5013382452 @default.
- W2794031694 hasAuthorship W2794031694A5041448256 @default.
- W2794031694 hasAuthorship W2794031694A5049068584 @default.
- W2794031694 hasAuthorship W2794031694A5081670169 @default.
- W2794031694 hasBestOaLocation W27940316941 @default.
- W2794031694 hasConcept C111472728 @default.
- W2794031694 hasConcept C11413529 @default.
- W2794031694 hasConcept C114614502 @default.
- W2794031694 hasConcept C138885662 @default.
- W2794031694 hasConcept C154945302 @default.
- W2794031694 hasConcept C199360897 @default.
- W2794031694 hasConcept C2778067643 @default.
- W2794031694 hasConcept C2778770139 @default.
- W2794031694 hasConcept C2779843651 @default.
- W2794031694 hasConcept C2780586882 @default.
- W2794031694 hasConcept C33923547 @default.
- W2794031694 hasConcept C41008148 @default.
- W2794031694 hasConceptScore W2794031694C111472728 @default.
- W2794031694 hasConceptScore W2794031694C11413529 @default.
- W2794031694 hasConceptScore W2794031694C114614502 @default.
- W2794031694 hasConceptScore W2794031694C138885662 @default.
- W2794031694 hasConceptScore W2794031694C154945302 @default.
- W2794031694 hasConceptScore W2794031694C199360897 @default.
- W2794031694 hasConceptScore W2794031694C2778067643 @default.
- W2794031694 hasConceptScore W2794031694C2778770139 @default.
- W2794031694 hasConceptScore W2794031694C2779843651 @default.
- W2794031694 hasConceptScore W2794031694C2780586882 @default.
- W2794031694 hasConceptScore W2794031694C33923547 @default.
- W2794031694 hasConceptScore W2794031694C41008148 @default.
- W2794031694 hasLocation W27940316941 @default.
- W2794031694 hasLocation W27940316942 @default.
- W2794031694 hasOpenAccess W2794031694 @default.
- W2794031694 hasPrimaryLocation W27940316941 @default.
- W2794031694 hasRelatedWork W1545049768 @default.
- W2794031694 hasRelatedWork W2036152506 @default.
- W2794031694 hasRelatedWork W2080076943 @default.
- W2794031694 hasRelatedWork W2365154038 @default.
- W2794031694 hasRelatedWork W2366139210 @default.
- W2794031694 hasRelatedWork W2386767533 @default.
- W2794031694 hasRelatedWork W2790246282 @default.
- W2794031694 hasRelatedWork W4213123348 @default.
- W2794031694 hasRelatedWork W4238075012 @default.
- W2794031694 hasRelatedWork W2491820882 @default.
- W2794031694 hasVolume "361" @default.
- W2794031694 isParatext "false" @default.
- W2794031694 isRetracted "false" @default.
- W2794031694 magId "2794031694" @default.
- W2794031694 workType "article" @default.