FRINK Linked Data Fragments server

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

• W2126748297 abstract "In a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL properties has been investigated, where the aim is to check whether a given LTL property holds with probability 1 in a timed automaton, and solved for the class of single-clock timed automata. In this paper, we consider the quantitative model-checking problem for omega-regular properties: we aim at computing the exact probability that a given timed automaton satisfies an omega-regular property. We develop a framework in which we can compute a closed-form expression for this probability; we furthermore give an approximation algorithm,and finally prove that we can decide the threshold problem in that framework." @default.
• W2126748297 created "2016-06-24" @default.
• W2126748297 creator A5019307337 @default.
• W2126748297 creator A5041884792 @default.
• W2126748297 creator A5070197309 @default.
• W2126748297 creator A5084605938 @default.
• W2126748297 date "2008-09-01" @default.
• W2126748297 modified "2023-10-14" @default.
• W2126748297 title "Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics" @default.
• W2126748297 cites W1481074184 @default.
• W2126748297 cites W1484364085 @default.
• W2126748297 cites W1496392897 @default.
• W2126748297 cites W1507893864 @default.
• W2126748297 cites W1517942155 @default.
• W2126748297 cites W1537691540 @default.
• W2126748297 cites W1594593035 @default.
• W2126748297 cites W1607296857 @default.
• W2126748297 cites W1903527352 @default.
• W2126748297 cites W1972203711 @default.
• W2126748297 cites W1982922419 @default.
• W2126748297 cites W2023808162 @default.
• W2126748297 cites W2082762653 @default.
• W2126748297 cites W2101508170 @default.
• W2126748297 cites W2141881497 @default.
• W2126748297 cites W3099666054 @default.
• W2126748297 cites W4245558686 @default.
• W2126748297 doi "https://doi.org/10.1109/qest.2008.19" @default.
• W2126748297 hasPublicationYear "2008" @default.
• W2126748297 type Work @default.
• W2126748297 sameAs 2126748297 @default.
• W2126748297 citedByCount "26" @default.
• W2126748297 countsByYear W21267482972012 @default.
• W2126748297 countsByYear W21267482972013 @default.
• W2126748297 countsByYear W21267482972015 @default.
• W2126748297 countsByYear W21267482972016 @default.
• W2126748297 countsByYear W21267482972017 @default.
• W2126748297 countsByYear W21267482972020 @default.
• W2126748297 crossrefType "proceedings-article" @default.
• W2126748297 hasAuthorship W2126748297A5019307337 @default.
• W2126748297 hasAuthorship W2126748297A5041884792 @default.
• W2126748297 hasAuthorship W2126748297A5070197309 @default.
• W2126748297 hasAuthorship W2126748297A5084605938 @default.
• W2126748297 hasBestOaLocation W21267482972 @default.
• W2126748297 hasConcept C110251889 @default.
• W2126748297 hasConcept C111472728 @default.
• W2126748297 hasConcept C112505250 @default.
• W2126748297 hasConcept C11413529 @default.
• W2126748297 hasConcept C118615104 @default.
• W2126748297 hasConcept C121329065 @default.
• W2126748297 hasConcept C138885662 @default.
• W2126748297 hasConcept C154945302 @default.
• W2126748297 hasConcept C165753454 @default.
• W2126748297 hasConcept C174784677 @default.
• W2126748297 hasConcept C184337299 @default.
• W2126748297 hasConcept C189950617 @default.
• W2126748297 hasConcept C194525867 @default.
• W2126748297 hasConcept C199360897 @default.
• W2126748297 hasConcept C2777212361 @default.
• W2126748297 hasConcept C30788636 @default.
• W2126748297 hasConcept C33923547 @default.
• W2126748297 hasConcept C41008148 @default.
• W2126748297 hasConcept C49937458 @default.
• W2126748297 hasConcept C80444323 @default.
• W2126748297 hasConceptScore W2126748297C110251889 @default.
• W2126748297 hasConceptScore W2126748297C111472728 @default.
• W2126748297 hasConceptScore W2126748297C112505250 @default.
• W2126748297 hasConceptScore W2126748297C11413529 @default.
• W2126748297 hasConceptScore W2126748297C118615104 @default.
• W2126748297 hasConceptScore W2126748297C121329065 @default.
• W2126748297 hasConceptScore W2126748297C138885662 @default.
• W2126748297 hasConceptScore W2126748297C154945302 @default.
• W2126748297 hasConceptScore W2126748297C165753454 @default.
• W2126748297 hasConceptScore W2126748297C174784677 @default.
• W2126748297 hasConceptScore W2126748297C184337299 @default.
• W2126748297 hasConceptScore W2126748297C189950617 @default.
• W2126748297 hasConceptScore W2126748297C194525867 @default.
• W2126748297 hasConceptScore W2126748297C199360897 @default.
• W2126748297 hasConceptScore W2126748297C2777212361 @default.
• W2126748297 hasConceptScore W2126748297C30788636 @default.
• W2126748297 hasConceptScore W2126748297C33923547 @default.
• W2126748297 hasConceptScore W2126748297C41008148 @default.
• W2126748297 hasConceptScore W2126748297C49937458 @default.
• W2126748297 hasConceptScore W2126748297C80444323 @default.
• W2126748297 hasLocation W21267482971 @default.
• W2126748297 hasLocation W21267482972 @default.
• W2126748297 hasOpenAccess W2126748297 @default.
• W2126748297 hasPrimaryLocation W21267482971 @default.
• W2126748297 hasRelatedWork W1499514499 @default.
• W2126748297 hasRelatedWork W1513077802 @default.
• W2126748297 hasRelatedWork W1546295742 @default.
• W2126748297 hasRelatedWork W2095602520 @default.
• W2126748297 hasRelatedWork W2126748297 @default.
• W2126748297 hasRelatedWork W2139989305 @default.
• W2126748297 hasRelatedWork W2169797019 @default.
• W2126748297 hasRelatedWork W2406565089 @default.
• W2126748297 hasRelatedWork W2798527773 @default.
• W2126748297 hasRelatedWork W2989856703 @default.
• W2126748297 isParatext "false" @default.
• W2126748297 isRetracted "false" @default.
• W2126748297 magId "2126748297" @default.

• next