Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740477033> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2740477033 endingPage "223" @default.
- W2740477033 startingPage "207" @default.
- W2740477033 abstract "We define a new notion of satisfaction of a temporal logic formula $$varphi $$ by a behavior w. This notion, denoted by $$(w,t,t'),models , varphi $$ , is characterized by two time parameters: the position t from which satisfaction is considered, and the end of the (finite) behavior $$t'$$ which indicates how much do we know about the behavior. We define this notion in dense time where $$varphi $$ is a formula in the future fragment of metric temporal logic (MTL) and w is a Boolean signal of bounded variability. We show that the set of all pairs $$(t,t')$$ such that $$(w,t,t'),models , varphi $$ can be expressed as a finite union of two-dimensional zones and give an effective procedure to compute it." @default.
- W2740477033 created "2017-08-08" @default.
- W2740477033 creator A5012209374 @default.
- W2740477033 creator A5022825325 @default.
- W2740477033 creator A5052399473 @default.
- W2740477033 creator A5054455487 @default.
- W2740477033 date "2017-01-01" @default.
- W2740477033 modified "2023-10-18" @default.
- W2740477033 title "Combining the Temporal and Epistemic Dimensions for MTL Monitoring" @default.
- W2740477033 cites W1494737186 @default.
- W2740477033 cites W1535073122 @default.
- W2740477033 cites W1535889317 @default.
- W2740477033 cites W1544012959 @default.
- W2740477033 cites W1547304883 @default.
- W2740477033 cites W1578302512 @default.
- W2740477033 cites W1667231716 @default.
- W2740477033 cites W1675507648 @default.
- W2740477033 cites W1780005695 @default.
- W2740477033 cites W1970603830 @default.
- W2740477033 cites W1971281350 @default.
- W2740477033 cites W1978654873 @default.
- W2740477033 cites W1999929274 @default.
- W2740477033 cites W2023808162 @default.
- W2740477033 cites W2026629052 @default.
- W2740477033 cites W2055092188 @default.
- W2740477033 cites W2068331423 @default.
- W2740477033 cites W2070545947 @default.
- W2740477033 cites W209085883 @default.
- W2740477033 cites W2092486735 @default.
- W2740477033 cites W2123613958 @default.
- W2740477033 cites W2159958244 @default.
- W2740477033 cites W2522351640 @default.
- W2740477033 cites W4239399053 @default.
- W2740477033 cites W4248793972 @default.
- W2740477033 cites W6669264 @default.
- W2740477033 doi "https://doi.org/10.1007/978-3-319-65765-3_12" @default.
- W2740477033 hasPublicationYear "2017" @default.
- W2740477033 type Work @default.
- W2740477033 sameAs 2740477033 @default.
- W2740477033 citedByCount "5" @default.
- W2740477033 countsByYear W27404770332018 @default.
- W2740477033 countsByYear W27404770332019 @default.
- W2740477033 countsByYear W27404770332023 @default.
- W2740477033 crossrefType "book-chapter" @default.
- W2740477033 hasAuthorship W2740477033A5012209374 @default.
- W2740477033 hasAuthorship W2740477033A5022825325 @default.
- W2740477033 hasAuthorship W2740477033A5052399473 @default.
- W2740477033 hasAuthorship W2740477033A5054455487 @default.
- W2740477033 hasConcept C102993220 @default.
- W2740477033 hasConcept C107247716 @default.
- W2740477033 hasConcept C118615104 @default.
- W2740477033 hasConcept C134306372 @default.
- W2740477033 hasConcept C162324750 @default.
- W2740477033 hasConcept C176217482 @default.
- W2740477033 hasConcept C177264268 @default.
- W2740477033 hasConcept C199360897 @default.
- W2740477033 hasConcept C203659156 @default.
- W2740477033 hasConcept C21547014 @default.
- W2740477033 hasConcept C25016198 @default.
- W2740477033 hasConcept C33923547 @default.
- W2740477033 hasConcept C34388435 @default.
- W2740477033 hasConcept C41008148 @default.
- W2740477033 hasConcept C80444323 @default.
- W2740477033 hasConceptScore W2740477033C102993220 @default.
- W2740477033 hasConceptScore W2740477033C107247716 @default.
- W2740477033 hasConceptScore W2740477033C118615104 @default.
- W2740477033 hasConceptScore W2740477033C134306372 @default.
- W2740477033 hasConceptScore W2740477033C162324750 @default.
- W2740477033 hasConceptScore W2740477033C176217482 @default.
- W2740477033 hasConceptScore W2740477033C177264268 @default.
- W2740477033 hasConceptScore W2740477033C199360897 @default.
- W2740477033 hasConceptScore W2740477033C203659156 @default.
- W2740477033 hasConceptScore W2740477033C21547014 @default.
- W2740477033 hasConceptScore W2740477033C25016198 @default.
- W2740477033 hasConceptScore W2740477033C33923547 @default.
- W2740477033 hasConceptScore W2740477033C34388435 @default.
- W2740477033 hasConceptScore W2740477033C41008148 @default.
- W2740477033 hasConceptScore W2740477033C80444323 @default.
- W2740477033 hasLocation W27404770331 @default.
- W2740477033 hasOpenAccess W2740477033 @default.
- W2740477033 hasPrimaryLocation W27404770331 @default.
- W2740477033 hasRelatedWork W2018828049 @default.
- W2740477033 hasRelatedWork W2042726902 @default.
- W2740477033 hasRelatedWork W2136053165 @default.
- W2740477033 hasRelatedWork W255293104 @default.
- W2740477033 hasRelatedWork W2793427131 @default.
- W2740477033 hasRelatedWork W2997584896 @default.
- W2740477033 hasRelatedWork W3021943749 @default.
- W2740477033 hasRelatedWork W3102258445 @default.
- W2740477033 hasRelatedWork W3189652751 @default.
- W2740477033 hasRelatedWork W1580211323 @default.
- W2740477033 isParatext "false" @default.
- W2740477033 isRetracted "false" @default.
- W2740477033 magId "2740477033" @default.
- W2740477033 workType "book-chapter" @default.