FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971834608> ?p ?o ?g. }

• W2971834608 abstract "The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free properties by ensuring decidability and tractability in the combined setting. To this end we introduce two real-time linear temporal logics for specifying quantitative timing context-free requirements in a pointwise semantics setting: Event-Clock Nested Temporal Logic (EC_NTL) and Nested Metric Temporal Logic (NMTL). The logic EC_NTL is an extension of both the logic CaRet (a context-free extension of standard LTL) and Event-Clock Temporal Logic (a tractable real-time logical framework related to the class of Event-Clock automata). We prove that satisfiability of EC_NTL and visibly model-checking of Visibly Pushdown Timed Automata (VPTA) against EC_NTL are decidable and EXPTIME-complete. The other proposed logic NMTL is a context-free extension of standard Metric Temporal Logic (MTL). It is well known that satisfiability of future MTL is undecidable when interpreted over infinite timed words but decidable over finite timed words. On the other hand, we show that by augmenting future MTL with future context-free temporal operators, the satisfiability problem turns out to be undecidable also for finite timed words. On the positive side, we devise a meaningful and decidable fragment of the logic NMTL which is expressively equivalent to EC_NTL and for which satisfiability and visibly model-checking of VPTA are EXPTIME-complete." @default.
• W2971834608 created "2019-09-12" @default.
• W2971834608 creator A5000697088 @default.
• W2971834608 creator A5055415505 @default.
• W2971834608 creator A5086034910 @default.
• W2971834608 date "2018-09-07" @default.
• W2971834608 modified "2023-09-25" @default.
• W2971834608 title "Timed Context-Free Temporal Logics" @default.
• W2971834608 cites W1508670740 @default.
• W2971834608 cites W1524026935 @default.
• W2971834608 cites W1556566737 @default.
• W2971834608 cites W1580995538 @default.
• W2971834608 cites W1763049863 @default.
• W2971834608 cites W1880663844 @default.
• W2971834608 cites W1976426006 @default.
• W2971834608 cites W2022782983 @default.
• W2971834608 cites W2026629052 @default.
• W2971834608 cites W2049696538 @default.
• W2971834608 cites W2083964867 @default.
• W2971834608 cites W2092229972 @default.
• W2971834608 cites W2101508170 @default.
• W2971834608 cites W2133514269 @default.
• W2971834608 cites W2139891885 @default.
• W2971834608 cites W2151033407 @default.
• W2971834608 cites W2160827412 @default.
• W2971834608 cites W2403063447 @default.
• W2971834608 cites W2463591852 @default.
• W2971834608 cites W260642817 @default.
• W2971834608 cites W2962885229 @default.
• W2971834608 cites W4205877761 @default.
• W2971834608 doi "https://doi.org/10.4204/eptcs.277.17" @default.
• W2971834608 hasPublicationYear "2018" @default.
• W2971834608 type Work @default.
• W2971834608 sameAs 2971834608 @default.
• W2971834608 citedByCount "3" @default.
• W2971834608 countsByYear W29718346082020 @default.
• W2971834608 countsByYear W29718346082021 @default.
• W2971834608 countsByYear W29718346082022 @default.
• W2971834608 crossrefType "journal-article" @default.
• W2971834608 hasAuthorship W2971834608A5000697088 @default.
• W2971834608 hasAuthorship W2971834608A5055415505 @default.
• W2971834608 hasAuthorship W2971834608A5086034910 @default.
• W2971834608 hasBestOaLocation W29718346081 @default.
• W2971834608 hasConcept C102993220 @default.
• W2971834608 hasConcept C110251889 @default.
• W2971834608 hasConcept C112505250 @default.
• W2971834608 hasConcept C11413529 @default.
• W2971834608 hasConcept C121332964 @default.
• W2971834608 hasConcept C151730666 @default.
• W2971834608 hasConcept C153269930 @default.
• W2971834608 hasConcept C168773769 @default.
• W2971834608 hasConcept C192034797 @default.
• W2971834608 hasConcept C198008173 @default.
• W2971834608 hasConcept C199360897 @default.
• W2971834608 hasConcept C25016198 @default.
• W2971834608 hasConcept C2778029271 @default.
• W2971834608 hasConcept C2779343474 @default.
• W2971834608 hasConcept C2779662365 @default.
• W2971834608 hasConcept C30788636 @default.
• W2971834608 hasConcept C41008148 @default.
• W2971834608 hasConcept C4777664 @default.
• W2971834608 hasConcept C62520636 @default.
• W2971834608 hasConcept C6943359 @default.
• W2971834608 hasConcept C77944639 @default.
• W2971834608 hasConcept C80444323 @default.
• W2971834608 hasConcept C86803240 @default.
• W2971834608 hasConceptScore W2971834608C102993220 @default.
• W2971834608 hasConceptScore W2971834608C110251889 @default.
• W2971834608 hasConceptScore W2971834608C112505250 @default.
• W2971834608 hasConceptScore W2971834608C11413529 @default.
• W2971834608 hasConceptScore W2971834608C121332964 @default.
• W2971834608 hasConceptScore W2971834608C151730666 @default.
• W2971834608 hasConceptScore W2971834608C153269930 @default.
• W2971834608 hasConceptScore W2971834608C168773769 @default.
• W2971834608 hasConceptScore W2971834608C192034797 @default.
• W2971834608 hasConceptScore W2971834608C198008173 @default.
• W2971834608 hasConceptScore W2971834608C199360897 @default.
• W2971834608 hasConceptScore W2971834608C25016198 @default.
• W2971834608 hasConceptScore W2971834608C2778029271 @default.
• W2971834608 hasConceptScore W2971834608C2779343474 @default.
• W2971834608 hasConceptScore W2971834608C2779662365 @default.
• W2971834608 hasConceptScore W2971834608C30788636 @default.
• W2971834608 hasConceptScore W2971834608C41008148 @default.
• W2971834608 hasConceptScore W2971834608C4777664 @default.
• W2971834608 hasConceptScore W2971834608C62520636 @default.
• W2971834608 hasConceptScore W2971834608C6943359 @default.
• W2971834608 hasConceptScore W2971834608C77944639 @default.
• W2971834608 hasConceptScore W2971834608C80444323 @default.
• W2971834608 hasConceptScore W2971834608C86803240 @default.
• W2971834608 hasLocation W29718346081 @default.
• W2971834608 hasLocation W29718346082 @default.
• W2971834608 hasLocation W29718346083 @default.
• W2971834608 hasOpenAccess W2971834608 @default.
• W2971834608 hasPrimaryLocation W29718346081 @default.
• W2971834608 hasRelatedWork W1543261728 @default.
• W2971834608 hasRelatedWork W1592102986 @default.
• W2971834608 hasRelatedWork W1600588018 @default.
• W2971834608 hasRelatedWork W1880816751 @default.
• W2971834608 hasRelatedWork W2013878945 @default.
• W2971834608 hasRelatedWork W2072341009 @default.

• next