Matches in SemOpenAlex for { <https://semopenalex.org/work/W2907196303> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2907196303 abstract "Metric Interval Temporal Logic (MITL) is an extension of the classical Linear Time Logic (LTL) that can be used to characterise real-time properties of computer systems. While the practical interest of MITL is undeniable, there is still today a remarkable lack of tool support for this logic. In this short paper, we report on our on-going work effort to complete the theoretical knowledge about MITL. We also report on our recently introduced tool MightyL, which translates MITL formulae into timed automata, enabling efficient model-checking of this logic. Finally, we sketch the future directions of our current line of research, which will be to extend MightyL to support reactive synthesis of MITL properties." @default.
- W2907196303 created "2019-01-11" @default.
- W2907196303 creator A5022195841 @default.
- W2907196303 creator A5022807324 @default.
- W2907196303 creator A5066787748 @default.
- W2907196303 creator A5067815428 @default.
- W2907196303 creator A5070197309 @default.
- W2907196303 date "2018-12-01" @default.
- W2907196303 modified "2023-10-14" @default.
- W2907196303 title "Efficient Algorithms and Tools for MITL Model-Checking and Synthesis" @default.
- W2907196303 cites W1591503386 @default.
- W2907196303 cites W2000947342 @default.
- W2907196303 cites W2026629052 @default.
- W2907196303 cites W2049696538 @default.
- W2907196303 cites W2101508170 @default.
- W2907196303 doi "https://doi.org/10.1109/iceccs2018.2018.00027" @default.
- W2907196303 hasPublicationYear "2018" @default.
- W2907196303 type Work @default.
- W2907196303 sameAs 2907196303 @default.
- W2907196303 citedByCount "3" @default.
- W2907196303 countsByYear W29071963032019 @default.
- W2907196303 countsByYear W29071963032020 @default.
- W2907196303 countsByYear W29071963032022 @default.
- W2907196303 crossrefType "proceedings-article" @default.
- W2907196303 hasAuthorship W2907196303A5022195841 @default.
- W2907196303 hasAuthorship W2907196303A5022807324 @default.
- W2907196303 hasAuthorship W2907196303A5066787748 @default.
- W2907196303 hasAuthorship W2907196303A5067815428 @default.
- W2907196303 hasAuthorship W2907196303A5070197309 @default.
- W2907196303 hasBestOaLocation W29071963032 @default.
- W2907196303 hasConcept C110251889 @default.
- W2907196303 hasConcept C112505250 @default.
- W2907196303 hasConcept C11413529 @default.
- W2907196303 hasConcept C127413603 @default.
- W2907196303 hasConcept C176217482 @default.
- W2907196303 hasConcept C199360897 @default.
- W2907196303 hasConcept C21547014 @default.
- W2907196303 hasConcept C25016198 @default.
- W2907196303 hasConcept C2778029271 @default.
- W2907196303 hasConcept C2779231336 @default.
- W2907196303 hasConcept C41008148 @default.
- W2907196303 hasConcept C4777664 @default.
- W2907196303 hasConcept C80444323 @default.
- W2907196303 hasConceptScore W2907196303C110251889 @default.
- W2907196303 hasConceptScore W2907196303C112505250 @default.
- W2907196303 hasConceptScore W2907196303C11413529 @default.
- W2907196303 hasConceptScore W2907196303C127413603 @default.
- W2907196303 hasConceptScore W2907196303C176217482 @default.
- W2907196303 hasConceptScore W2907196303C199360897 @default.
- W2907196303 hasConceptScore W2907196303C21547014 @default.
- W2907196303 hasConceptScore W2907196303C25016198 @default.
- W2907196303 hasConceptScore W2907196303C2778029271 @default.
- W2907196303 hasConceptScore W2907196303C2779231336 @default.
- W2907196303 hasConceptScore W2907196303C41008148 @default.
- W2907196303 hasConceptScore W2907196303C4777664 @default.
- W2907196303 hasConceptScore W2907196303C80444323 @default.
- W2907196303 hasLocation W29071963031 @default.
- W2907196303 hasLocation W29071963032 @default.
- W2907196303 hasLocation W29071963033 @default.
- W2907196303 hasLocation W29071963034 @default.
- W2907196303 hasLocation W29071963035 @default.
- W2907196303 hasOpenAccess W2907196303 @default.
- W2907196303 hasPrimaryLocation W29071963031 @default.
- W2907196303 hasRelatedWork W1551070491 @default.
- W2907196303 hasRelatedWork W1592102986 @default.
- W2907196303 hasRelatedWork W1967076997 @default.
- W2907196303 hasRelatedWork W2062273688 @default.
- W2907196303 hasRelatedWork W2103740034 @default.
- W2907196303 hasRelatedWork W2124110813 @default.
- W2907196303 hasRelatedWork W2350953867 @default.
- W2907196303 hasRelatedWork W2477338659 @default.
- W2907196303 hasRelatedWork W2763487042 @default.
- W2907196303 hasRelatedWork W2034301573 @default.
- W2907196303 isParatext "false" @default.
- W2907196303 isRetracted "false" @default.
- W2907196303 magId "2907196303" @default.
- W2907196303 workType "article" @default.