FRINK Linked Data Fragments server

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

• W2904199087 abstract "Author(s): Romeo, Inigo Incer; Lohstroh, Marten; Iannopollo, Antonio; Lee, Edward A; Sangiovanni-Vincentelli, Alberto | Abstract: We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the real numbers and then take the Lebesgue measure of the resulting sets. We analyze how this measure is computed for Linear Temporal Logic (LTL) formulas. An implementation for computing the measure of bounded LTL properties is provided and explained. This implementation leverages SAT model counting and effects independence checks on subexpressions to compute the measure and metric compositionally." @default.
• W2904199087 created "2018-12-22" @default.
• W2904199087 creator A5009831760 @default.
• W2904199087 creator A5019424497 @default.
• W2904199087 creator A5051582349 @default.
• W2904199087 creator A5085646812 @default.
• W2904199087 creator A5088660554 @default.
• W2904199087 date "2018-11-30" @default.
• W2904199087 modified "2023-09-27" @default.
• W2904199087 title "A Metric for Linear Temporal Logic" @default.
• W2904199087 cites W1537730723 @default.
• W2904199087 cites W1700264732 @default.
• W2904199087 cites W1994901326 @default.
• W2904199087 cites W2003227046 @default.
• W2904199087 cites W2023808162 @default.
• W2904199087 cites W2125422788 @default.
• W2904199087 cites W2149236697 @default.
• W2904199087 cites W2521098037 @default.
• W2904199087 cites W2606958401 @default.
• W2904199087 cites W2798561501 @default.
• W2904199087 cites W2886037486 @default.
• W2904199087 cites W2905586589 @default.
• W2904199087 cites W2963650758 @default.
• W2904199087 cites W2964114371 @default.
• W2904199087 cites W82353766 @default.
• W2904199087 cites W2264340030 @default.
• W2904199087 hasPublicationYear "2018" @default.
• W2904199087 type Work @default.
• W2904199087 sameAs 2904199087 @default.
• W2904199087 citedByCount "1" @default.
• W2904199087 countsByYear W29041990872021 @default.
• W2904199087 crossrefType "posted-content" @default.
• W2904199087 hasAuthorship W2904199087A5009831760 @default.
• W2904199087 hasAuthorship W2904199087A5019424497 @default.
• W2904199087 hasAuthorship W2904199087A5051582349 @default.
• W2904199087 hasAuthorship W2904199087A5085646812 @default.
• W2904199087 hasAuthorship W2904199087A5088660554 @default.
• W2904199087 hasConcept C105795698 @default.
• W2904199087 hasConcept C11413529 @default.
• W2904199087 hasConcept C118615104 @default.
• W2904199087 hasConcept C124101348 @default.
• W2904199087 hasConcept C134306372 @default.
• W2904199087 hasConcept C14158598 @default.
• W2904199087 hasConcept C162324750 @default.
• W2904199087 hasConcept C176217482 @default.
• W2904199087 hasConcept C177264268 @default.
• W2904199087 hasConcept C199360897 @default.
• W2904199087 hasConcept C21547014 @default.
• W2904199087 hasConcept C25016198 @default.
• W2904199087 hasConcept C2777105136 @default.
• W2904199087 hasConcept C2780009758 @default.
• W2904199087 hasConcept C28077239 @default.
• W2904199087 hasConcept C33923547 @default.
• W2904199087 hasConcept C34388435 @default.
• W2904199087 hasConcept C35651441 @default.
• W2904199087 hasConcept C41008148 @default.
• W2904199087 hasConcept C4777664 @default.
• W2904199087 hasConcept C80444323 @default.
• W2904199087 hasConceptScore W2904199087C105795698 @default.
• W2904199087 hasConceptScore W2904199087C11413529 @default.
• W2904199087 hasConceptScore W2904199087C118615104 @default.
• W2904199087 hasConceptScore W2904199087C124101348 @default.
• W2904199087 hasConceptScore W2904199087C134306372 @default.
• W2904199087 hasConceptScore W2904199087C14158598 @default.
• W2904199087 hasConceptScore W2904199087C162324750 @default.
• W2904199087 hasConceptScore W2904199087C176217482 @default.
• W2904199087 hasConceptScore W2904199087C177264268 @default.
• W2904199087 hasConceptScore W2904199087C199360897 @default.
• W2904199087 hasConceptScore W2904199087C21547014 @default.
• W2904199087 hasConceptScore W2904199087C25016198 @default.
• W2904199087 hasConceptScore W2904199087C2777105136 @default.
• W2904199087 hasConceptScore W2904199087C2780009758 @default.
• W2904199087 hasConceptScore W2904199087C28077239 @default.
• W2904199087 hasConceptScore W2904199087C33923547 @default.
• W2904199087 hasConceptScore W2904199087C34388435 @default.
• W2904199087 hasConceptScore W2904199087C35651441 @default.
• W2904199087 hasConceptScore W2904199087C41008148 @default.
• W2904199087 hasConceptScore W2904199087C4777664 @default.
• W2904199087 hasConceptScore W2904199087C80444323 @default.
• W2904199087 hasLocation W29041990871 @default.
• W2904199087 hasOpenAccess W2904199087 @default.
• W2904199087 hasPrimaryLocation W29041990871 @default.
• W2904199087 hasRelatedWork W137099755 @default.
• W2904199087 hasRelatedWork W1488137133 @default.
• W2904199087 hasRelatedWork W1495993314 @default.
• W2904199087 hasRelatedWork W1498350928 @default.
• W2904199087 hasRelatedWork W1503866237 @default.
• W2904199087 hasRelatedWork W1513061965 @default.
• W2904199087 hasRelatedWork W1529554195 @default.
• W2904199087 hasRelatedWork W1537678192 @default.
• W2904199087 hasRelatedWork W1545792049 @default.
• W2904199087 hasRelatedWork W1576868885 @default.
• W2904199087 hasRelatedWork W1606607881 @default.
• W2904199087 hasRelatedWork W2007512134 @default.
• W2904199087 hasRelatedWork W2023309117 @default.
• W2904199087 hasRelatedWork W2040511383 @default.
• W2904199087 hasRelatedWork W2063488096 @default.
• W2904199087 hasRelatedWork W208863569 @default.
• W2904199087 hasRelatedWork W2273063736 @default.
• W2904199087 hasRelatedWork W2982544069 @default.

• next