Matches in SemOpenAlex for { <https://semopenalex.org/work/W3047747739> ?p ?o ?g. }
- W3047747739 endingPage "439" @default.
- W3047747739 startingPage "420" @default.
- W3047747739 abstract "Falsification has garnered much interest recently as a way to validate complex CPS designs with respect to a specification expressed via temporal logics. Using their quantitative semantics, the falsification problem can be formulated as a robustness minimization problem." @default.
- W3047747739 created "2020-08-13" @default.
- W3047747739 creator A5014473489 @default.
- W3047747739 creator A5043322219 @default.
- W3047747739 creator A5046777407 @default.
- W3047747739 creator A5081324945 @default.
- W3047747739 creator A5081703435 @default.
- W3047747739 creator A5084201551 @default.
- W3047747739 date "2020-01-01" @default.
- W3047747739 modified "2023-09-30" @default.
- W3047747739 title "Falsification of Cyber-Physical Systems with Constrained Signal Spaces" @default.
- W3047747739 cites W102487131 @default.
- W3047747739 cites W142679335 @default.
- W3047747739 cites W1506101803 @default.
- W3047747739 cites W1533557569 @default.
- W3047747739 cites W1547304883 @default.
- W3047747739 cites W1576278728 @default.
- W3047747739 cites W1862398452 @default.
- W3047747739 cites W1998674588 @default.
- W3047747739 cites W2024060531 @default.
- W3047747739 cites W2026629052 @default.
- W3047747739 cites W2039568841 @default.
- W3047747739 cites W2061768141 @default.
- W3047747739 cites W2080932760 @default.
- W3047747739 cites W2085584964 @default.
- W3047747739 cites W2101508170 @default.
- W3047747739 cites W2112656403 @default.
- W3047747739 cites W2119833845 @default.
- W3047747739 cites W2131399618 @default.
- W3047747739 cites W2153803621 @default.
- W3047747739 cites W2160960847 @default.
- W3047747739 cites W2171074980 @default.
- W3047747739 cites W2295828805 @default.
- W3047747739 cites W2485863260 @default.
- W3047747739 cites W2735260746 @default.
- W3047747739 cites W2785700716 @default.
- W3047747739 cites W2791378525 @default.
- W3047747739 cites W2938564214 @default.
- W3047747739 cites W2947263134 @default.
- W3047747739 cites W2963100367 @default.
- W3047747739 cites W2973431405 @default.
- W3047747739 cites W32833432 @default.
- W3047747739 cites W4231878220 @default.
- W3047747739 cites W618136976 @default.
- W3047747739 doi "https://doi.org/10.1007/978-3-030-55754-6_25" @default.
- W3047747739 hasPublicationYear "2020" @default.
- W3047747739 type Work @default.
- W3047747739 sameAs 3047747739 @default.
- W3047747739 citedByCount "5" @default.
- W3047747739 countsByYear W30477477392022 @default.
- W3047747739 countsByYear W30477477392023 @default.
- W3047747739 crossrefType "book-chapter" @default.
- W3047747739 hasAuthorship W3047747739A5014473489 @default.
- W3047747739 hasAuthorship W3047747739A5043322219 @default.
- W3047747739 hasAuthorship W3047747739A5046777407 @default.
- W3047747739 hasAuthorship W3047747739A5081324945 @default.
- W3047747739 hasAuthorship W3047747739A5081703435 @default.
- W3047747739 hasAuthorship W3047747739A5084201551 @default.
- W3047747739 hasBestOaLocation W30477477392 @default.
- W3047747739 hasConcept C104317684 @default.
- W3047747739 hasConcept C111919701 @default.
- W3047747739 hasConcept C11413529 @default.
- W3047747739 hasConcept C147764199 @default.
- W3047747739 hasConcept C179768478 @default.
- W3047747739 hasConcept C184337299 @default.
- W3047747739 hasConcept C185592680 @default.
- W3047747739 hasConcept C199360897 @default.
- W3047747739 hasConcept C41008148 @default.
- W3047747739 hasConcept C55493867 @default.
- W3047747739 hasConcept C63479239 @default.
- W3047747739 hasConcept C80444323 @default.
- W3047747739 hasConceptScore W3047747739C104317684 @default.
- W3047747739 hasConceptScore W3047747739C111919701 @default.
- W3047747739 hasConceptScore W3047747739C11413529 @default.
- W3047747739 hasConceptScore W3047747739C147764199 @default.
- W3047747739 hasConceptScore W3047747739C179768478 @default.
- W3047747739 hasConceptScore W3047747739C184337299 @default.
- W3047747739 hasConceptScore W3047747739C185592680 @default.
- W3047747739 hasConceptScore W3047747739C199360897 @default.
- W3047747739 hasConceptScore W3047747739C41008148 @default.
- W3047747739 hasConceptScore W3047747739C55493867 @default.
- W3047747739 hasConceptScore W3047747739C63479239 @default.
- W3047747739 hasConceptScore W3047747739C80444323 @default.
- W3047747739 hasLocation W30477477391 @default.
- W3047747739 hasLocation W30477477392 @default.
- W3047747739 hasLocation W30477477393 @default.
- W3047747739 hasLocation W30477477394 @default.
- W3047747739 hasLocation W30477477395 @default.
- W3047747739 hasOpenAccess W3047747739 @default.
- W3047747739 hasPrimaryLocation W30477477391 @default.
- W3047747739 hasRelatedWork W1587224678 @default.
- W3047747739 hasRelatedWork W2104078272 @default.
- W3047747739 hasRelatedWork W2112962394 @default.
- W3047747739 hasRelatedWork W2118300983 @default.
- W3047747739 hasRelatedWork W2166247150 @default.
- W3047747739 hasRelatedWork W2382501300 @default.
- W3047747739 hasRelatedWork W3137189469 @default.
- W3047747739 hasRelatedWork W3162240892 @default.