Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022782983> ?p ?o ?g. }
- W2022782983 abstract "Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words is decidable, with non-primitive recursive complexity. We also consider the model-checking problem for MTL: whether all words accepted by a given Alur-Dill timed automaton satisfy a given MTL formula. We show that this problem is decidable over finite words. Over infinite words, we show that model checking the safety fragment of MTL--which includes invariance and time-bounded response properties--is also decidable. These results are quite surprising in that they contradict various claims to the contrary that have appeared in the literature." @default.
- W2022782983 created "2016-06-24" @default.
- W2022782983 creator A5045412407 @default.
- W2022782983 creator A5068165188 @default.
- W2022782983 date "2007-02-28" @default.
- W2022782983 modified "2023-10-11" @default.
- W2022782983 title "On the decidability and complexity of Metric Temporal Logic over finite words" @default.
- W2022782983 cites W1494173831 @default.
- W2022782983 cites W1495932835 @default.
- W2022782983 cites W1521364045 @default.
- W2022782983 cites W1524802289 @default.
- W2022782983 cites W1572777470 @default.
- W2022782983 cites W1580995538 @default.
- W2022782983 cites W1607529814 @default.
- W2022782983 cites W1608292181 @default.
- W2022782983 cites W1775249002 @default.
- W2022782983 cites W1885037678 @default.
- W2022782983 cites W1889008055 @default.
- W2022782983 cites W1965876541 @default.
- W2022782983 cites W1967174286 @default.
- W2022782983 cites W1985925577 @default.
- W2022782983 cites W1987814265 @default.
- W2022782983 cites W2021255060 @default.
- W2022782983 cites W2026533872 @default.
- W2022782983 cites W2026629052 @default.
- W2022782983 cites W2030263557 @default.
- W2022782983 cites W2049696538 @default.
- W2022782983 cites W2076508310 @default.
- W2022782983 cites W2101508170 @default.
- W2022782983 cites W2102566802 @default.
- W2022782983 cites W2123910665 @default.
- W2022782983 cites W2139891885 @default.
- W2022782983 cites W2148906857 @default.
- W2022782983 cites W2567814587 @default.
- W2022782983 doi "https://doi.org/10.2168/lmcs-3(1:8)2007" @default.
- W2022782983 hasPublicationYear "2007" @default.
- W2022782983 type Work @default.
- W2022782983 sameAs 2022782983 @default.
- W2022782983 citedByCount "59" @default.
- W2022782983 countsByYear W20227829832012 @default.
- W2022782983 countsByYear W20227829832013 @default.
- W2022782983 countsByYear W20227829832014 @default.
- W2022782983 countsByYear W20227829832015 @default.
- W2022782983 countsByYear W20227829832016 @default.
- W2022782983 countsByYear W20227829832017 @default.
- W2022782983 countsByYear W20227829832018 @default.
- W2022782983 countsByYear W20227829832019 @default.
- W2022782983 countsByYear W20227829832020 @default.
- W2022782983 countsByYear W20227829832021 @default.
- W2022782983 countsByYear W20227829832022 @default.
- W2022782983 countsByYear W20227829832023 @default.
- W2022782983 crossrefType "journal-article" @default.
- W2022782983 hasAuthorship W2022782983A5045412407 @default.
- W2022782983 hasAuthorship W2022782983A5068165188 @default.
- W2022782983 hasBestOaLocation W20227829831 @default.
- W2022782983 hasConcept C110251889 @default.
- W2022782983 hasConcept C112505250 @default.
- W2022782983 hasConcept C11413529 @default.
- W2022782983 hasConcept C118615104 @default.
- W2022782983 hasConcept C134306372 @default.
- W2022782983 hasConcept C142362112 @default.
- W2022782983 hasConcept C153269930 @default.
- W2022782983 hasConcept C153349607 @default.
- W2022782983 hasConcept C168773769 @default.
- W2022782983 hasConcept C25016198 @default.
- W2022782983 hasConcept C2776235265 @default.
- W2022782983 hasConcept C33923547 @default.
- W2022782983 hasConcept C34388435 @default.
- W2022782983 hasConcept C41008148 @default.
- W2022782983 hasConcept C4777664 @default.
- W2022782983 hasConcept C52370388 @default.
- W2022782983 hasConcept C558565934 @default.
- W2022782983 hasConcept C6943359 @default.
- W2022782983 hasConcept C73301696 @default.
- W2022782983 hasConcept C80444323 @default.
- W2022782983 hasConceptScore W2022782983C110251889 @default.
- W2022782983 hasConceptScore W2022782983C112505250 @default.
- W2022782983 hasConceptScore W2022782983C11413529 @default.
- W2022782983 hasConceptScore W2022782983C118615104 @default.
- W2022782983 hasConceptScore W2022782983C134306372 @default.
- W2022782983 hasConceptScore W2022782983C142362112 @default.
- W2022782983 hasConceptScore W2022782983C153269930 @default.
- W2022782983 hasConceptScore W2022782983C153349607 @default.
- W2022782983 hasConceptScore W2022782983C168773769 @default.
- W2022782983 hasConceptScore W2022782983C25016198 @default.
- W2022782983 hasConceptScore W2022782983C2776235265 @default.
- W2022782983 hasConceptScore W2022782983C33923547 @default.
- W2022782983 hasConceptScore W2022782983C34388435 @default.
- W2022782983 hasConceptScore W2022782983C41008148 @default.
- W2022782983 hasConceptScore W2022782983C4777664 @default.
- W2022782983 hasConceptScore W2022782983C52370388 @default.
- W2022782983 hasConceptScore W2022782983C558565934 @default.
- W2022782983 hasConceptScore W2022782983C6943359 @default.
- W2022782983 hasConceptScore W2022782983C73301696 @default.
- W2022782983 hasConceptScore W2022782983C80444323 @default.
- W2022782983 hasLocation W20227829831 @default.
- W2022782983 hasLocation W20227829832 @default.
- W2022782983 hasLocation W20227829833 @default.
- W2022782983 hasLocation W20227829834 @default.
- W2022782983 hasLocation W20227829835 @default.