Matches in SemOpenAlex for { <https://semopenalex.org/work/W2930654751> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2930654751 endingPage "97" @default.
- W2930654751 startingPage "79" @default.
- W2930654751 abstract "An appealing feature of Signal Temporal Logic (STL) is the existence of efficient monitoring algorithms both for Boolean and real-valued robustness semantics, which are based on computing an aggregate function (conjunction, disjunction, min, or max) over a sliding window. On the other hand, there are properties that can be monitored with the same algorithms, but that cannot be directly expressed in STL due to syntactic restrictions. In this paper, we define a new specification language that extends STL with the ability to produce and manipulate real-valued output signals and with a new form of until operator. The new language still admits efficient offline monitoring, but also allows to express some properties that in the past motivated researchers to extend STL with existential quantification, freeze quantification, and other features that increase the complexity of monitoring." @default.
- W2930654751 created "2019-04-11" @default.
- W2930654751 creator A5072441704 @default.
- W2930654751 creator A5084201551 @default.
- W2930654751 date "2019-01-01" @default.
- W2930654751 modified "2023-10-12" @default.
- W2930654751 title "Specification and Efficient Monitoring Beyond STL" @default.
- W2930654751 cites W1533557569 @default.
- W2930654751 cites W1547304883 @default.
- W2930654751 cites W2030263557 @default.
- W2930654751 cites W2034837094 @default.
- W2930654751 cites W2047923159 @default.
- W2930654751 cites W2101804404 @default.
- W2930654751 cites W2153803621 @default.
- W2930654751 cites W2255983427 @default.
- W2930654751 cites W2258944932 @default.
- W2930654751 cites W2267240189 @default.
- W2930654751 cites W2293761843 @default.
- W2930654751 cites W2785700716 @default.
- W2930654751 cites W2797047369 @default.
- W2930654751 cites W2806088716 @default.
- W2930654751 cites W2808270794 @default.
- W2930654751 cites W2884716674 @default.
- W2930654751 cites W2888608158 @default.
- W2930654751 cites W2901054789 @default.
- W2930654751 doi "https://doi.org/10.1007/978-3-030-17465-1_5" @default.
- W2930654751 hasPublicationYear "2019" @default.
- W2930654751 type Work @default.
- W2930654751 sameAs 2930654751 @default.
- W2930654751 citedByCount "5" @default.
- W2930654751 countsByYear W29306547512019 @default.
- W2930654751 countsByYear W29306547512020 @default.
- W2930654751 countsByYear W29306547512021 @default.
- W2930654751 crossrefType "book-chapter" @default.
- W2930654751 hasAuthorship W2930654751A5072441704 @default.
- W2930654751 hasAuthorship W2930654751A5084201551 @default.
- W2930654751 hasBestOaLocation W29306547511 @default.
- W2930654751 hasConcept C104317684 @default.
- W2930654751 hasConcept C11413529 @default.
- W2930654751 hasConcept C158448853 @default.
- W2930654751 hasConcept C17020691 @default.
- W2930654751 hasConcept C184337299 @default.
- W2930654751 hasConcept C185592680 @default.
- W2930654751 hasConcept C199360897 @default.
- W2930654751 hasConcept C201677973 @default.
- W2930654751 hasConcept C41008148 @default.
- W2930654751 hasConcept C55493867 @default.
- W2930654751 hasConcept C63479239 @default.
- W2930654751 hasConcept C80444323 @default.
- W2930654751 hasConcept C86339819 @default.
- W2930654751 hasConceptScore W2930654751C104317684 @default.
- W2930654751 hasConceptScore W2930654751C11413529 @default.
- W2930654751 hasConceptScore W2930654751C158448853 @default.
- W2930654751 hasConceptScore W2930654751C17020691 @default.
- W2930654751 hasConceptScore W2930654751C184337299 @default.
- W2930654751 hasConceptScore W2930654751C185592680 @default.
- W2930654751 hasConceptScore W2930654751C199360897 @default.
- W2930654751 hasConceptScore W2930654751C201677973 @default.
- W2930654751 hasConceptScore W2930654751C41008148 @default.
- W2930654751 hasConceptScore W2930654751C55493867 @default.
- W2930654751 hasConceptScore W2930654751C63479239 @default.
- W2930654751 hasConceptScore W2930654751C80444323 @default.
- W2930654751 hasConceptScore W2930654751C86339819 @default.
- W2930654751 hasLocation W29306547511 @default.
- W2930654751 hasLocation W29306547512 @default.
- W2930654751 hasLocation W29306547513 @default.
- W2930654751 hasLocation W29306547514 @default.
- W2930654751 hasLocation W29306547515 @default.
- W2930654751 hasOpenAccess W2930654751 @default.
- W2930654751 hasPrimaryLocation W29306547511 @default.
- W2930654751 hasRelatedWork W1482532369 @default.
- W2930654751 hasRelatedWork W1511909901 @default.
- W2930654751 hasRelatedWork W1587224678 @default.
- W2930654751 hasRelatedWork W1589034549 @default.
- W2930654751 hasRelatedWork W1984757784 @default.
- W2930654751 hasRelatedWork W2156223462 @default.
- W2930654751 hasRelatedWork W2159839874 @default.
- W2930654751 hasRelatedWork W2162263188 @default.
- W2930654751 hasRelatedWork W2257183258 @default.
- W2930654751 hasRelatedWork W4245713008 @default.
- W2930654751 isParatext "false" @default.
- W2930654751 isRetracted "false" @default.
- W2930654751 magId "2930654751" @default.
- W2930654751 workType "book-chapter" @default.