Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037345683> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3037345683 endingPage "294" @default.
- W3037345683 startingPage "276" @default.
- W3037345683 abstract "The nonpropositional Metric Temporal Graph Logic (MTGL) specifies the behavior of timed dynamic systems given by timed graph sequences (TGSs), which contain typed attributed graphs representing system states and the elapsed time between states. MTGL satisfaction can be analyzed for finite TGSs by translating its satisfaction problem to the satisfaction problem of nested graph conditions using a folding operation (aggregating a TGS into a graph with history) and a reduction operation (translating an MTGL condition into a nested graph condition). In this paper, we introduce an analysis procedure for MTGL to allow for an on-the-fly analysis of finite/infinite TGSs. To this end, we introduce a further (optimistic) reduction of MTGL conditions, which leads to violations during the on-the-fly analysis only when non-satisfaction is guaranteed in the future whereas the former (pessimistic) reduction leads to violations when satisfaction is not guaranteed in the future. We motivate the relevance of our analysis procedure, which uses both reduction operations, by means of a running example. Finally, we discuss prototypical support in the tool AutoGraph." @default.
- W3037345683 created "2020-07-02" @default.
- W3037345683 creator A5026454561 @default.
- W3037345683 creator A5034700792 @default.
- W3037345683 creator A5066076521 @default.
- W3037345683 creator A5090553191 @default.
- W3037345683 date "2020-01-01" @default.
- W3037345683 modified "2023-10-11" @default.
- W3037345683 title "Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic" @default.
- W3037345683 cites W1509591648 @default.
- W3037345683 cites W1547304883 @default.
- W3037345683 cites W1602108206 @default.
- W3037345683 cites W2025079954 @default.
- W3037345683 cites W2026629052 @default.
- W3037345683 cites W2079370090 @default.
- W3037345683 cites W2101623441 @default.
- W3037345683 cites W2116690889 @default.
- W3037345683 cites W2157901438 @default.
- W3037345683 cites W2267240189 @default.
- W3037345683 cites W2649084227 @default.
- W3037345683 cites W2718727420 @default.
- W3037345683 cites W2785700716 @default.
- W3037345683 cites W2810857094 @default.
- W3037345683 cites W2900349237 @default.
- W3037345683 cites W2926245535 @default.
- W3037345683 cites W2933507570 @default.
- W3037345683 cites W3006700917 @default.
- W3037345683 cites W3015313343 @default.
- W3037345683 cites W3037116850 @default.
- W3037345683 cites W4205916380 @default.
- W3037345683 doi "https://doi.org/10.1007/978-3-030-51372-6_16" @default.
- W3037345683 hasPublicationYear "2020" @default.
- W3037345683 type Work @default.
- W3037345683 sameAs 3037345683 @default.
- W3037345683 citedByCount "7" @default.
- W3037345683 countsByYear W30373456832020 @default.
- W3037345683 countsByYear W30373456832021 @default.
- W3037345683 countsByYear W30373456832022 @default.
- W3037345683 countsByYear W30373456832023 @default.
- W3037345683 crossrefType "book-chapter" @default.
- W3037345683 hasAuthorship W3037345683A5026454561 @default.
- W3037345683 hasAuthorship W3037345683A5034700792 @default.
- W3037345683 hasAuthorship W3037345683A5066076521 @default.
- W3037345683 hasAuthorship W3037345683A5090553191 @default.
- W3037345683 hasBestOaLocation W30373456831 @default.
- W3037345683 hasConcept C111335779 @default.
- W3037345683 hasConcept C111919701 @default.
- W3037345683 hasConcept C11413529 @default.
- W3037345683 hasConcept C132525143 @default.
- W3037345683 hasConcept C154945302 @default.
- W3037345683 hasConcept C162324750 @default.
- W3037345683 hasConcept C176217482 @default.
- W3037345683 hasConcept C199622910 @default.
- W3037345683 hasConcept C21547014 @default.
- W3037345683 hasConcept C2524010 @default.
- W3037345683 hasConcept C2781020372 @default.
- W3037345683 hasConcept C33923547 @default.
- W3037345683 hasConcept C41008148 @default.
- W3037345683 hasConcept C42383842 @default.
- W3037345683 hasConcept C49937458 @default.
- W3037345683 hasConcept C80444323 @default.
- W3037345683 hasConcept C97042676 @default.
- W3037345683 hasConceptScore W3037345683C111335779 @default.
- W3037345683 hasConceptScore W3037345683C111919701 @default.
- W3037345683 hasConceptScore W3037345683C11413529 @default.
- W3037345683 hasConceptScore W3037345683C132525143 @default.
- W3037345683 hasConceptScore W3037345683C154945302 @default.
- W3037345683 hasConceptScore W3037345683C162324750 @default.
- W3037345683 hasConceptScore W3037345683C176217482 @default.
- W3037345683 hasConceptScore W3037345683C199622910 @default.
- W3037345683 hasConceptScore W3037345683C21547014 @default.
- W3037345683 hasConceptScore W3037345683C2524010 @default.
- W3037345683 hasConceptScore W3037345683C2781020372 @default.
- W3037345683 hasConceptScore W3037345683C33923547 @default.
- W3037345683 hasConceptScore W3037345683C41008148 @default.
- W3037345683 hasConceptScore W3037345683C42383842 @default.
- W3037345683 hasConceptScore W3037345683C49937458 @default.
- W3037345683 hasConceptScore W3037345683C80444323 @default.
- W3037345683 hasConceptScore W3037345683C97042676 @default.
- W3037345683 hasLocation W30373456831 @default.
- W3037345683 hasOpenAccess W3037345683 @default.
- W3037345683 hasPrimaryLocation W30373456831 @default.
- W3037345683 hasRelatedWork W1545300642 @default.
- W3037345683 hasRelatedWork W1601455886 @default.
- W3037345683 hasRelatedWork W2061523528 @default.
- W3037345683 hasRelatedWork W2094190051 @default.
- W3037345683 hasRelatedWork W2224692227 @default.
- W3037345683 hasRelatedWork W2352590024 @default.
- W3037345683 hasRelatedWork W2385500201 @default.
- W3037345683 hasRelatedWork W2386767533 @default.
- W3037345683 hasRelatedWork W3175521565 @default.
- W3037345683 hasRelatedWork W4293432927 @default.
- W3037345683 isParatext "false" @default.
- W3037345683 isRetracted "false" @default.
- W3037345683 magId "3037345683" @default.
- W3037345683 workType "book-chapter" @default.