Matches in SemOpenAlex for { <https://semopenalex.org/work/W194426287> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W194426287 abstract "We consider probabilistic timed automata of [13], an extension of the timed automata model of [2] with discrete probability distributions. In contrast to timed automata, which model real-time systems purely in terms of nondeterminism, our model allows to express the likelihood of the system making certain transitions, and is thus appropriate for modelling fault-tolerance and probabilistic failures. We present a symbolic model checking algorithm for the existential fragment of the logic PTCTL of [13] based on backward reachability as in [12]. The logic allows us to specify properties such as “with probability 0.99 or greater, it is possible to correctly deliver a data packet within 5 time units”, or “with probability 0.87 or greater, the system never enters an error state”." @default.
- W194426287 created "2016-06-24" @default.
- W194426287 creator A5044285570 @default.
- W194426287 creator A5067544120 @default.
- W194426287 creator A5081710233 @default.
- W194426287 date "2000-01-01" @default.
- W194426287 modified "2023-09-27" @default.
- W194426287 title "Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability" @default.
- W194426287 cites W1514324734 @default.
- W194426287 cites W1551070491 @default.
- W194426287 cites W1577437452 @default.
- W194426287 cites W1621538476 @default.
- W194426287 cites W1981808971 @default.
- W194426287 cites W2005998857 @default.
- W194426287 cites W2009280542 @default.
- W194426287 cites W2020293036 @default.
- W194426287 cites W2051580064 @default.
- W194426287 cites W2099184861 @default.
- W194426287 cites W2101508170 @default.
- W194426287 cites W2130773092 @default.
- W194426287 cites W2142718416 @default.
- W194426287 cites W2504690097 @default.
- W194426287 cites W1601373402 @default.
- W194426287 cites W65183940 @default.
- W194426287 hasPublicationYear "2000" @default.
- W194426287 type Work @default.
- W194426287 sameAs 194426287 @default.
- W194426287 citedByCount "4" @default.
- W194426287 countsByYear W1944262872014 @default.
- W194426287 crossrefType "journal-article" @default.
- W194426287 hasAuthorship W194426287A5044285570 @default.
- W194426287 hasAuthorship W194426287A5067544120 @default.
- W194426287 hasAuthorship W194426287A5081710233 @default.
- W194426287 hasConcept C110251889 @default.
- W194426287 hasConcept C112505250 @default.
- W194426287 hasConcept C11413529 @default.
- W194426287 hasConcept C136643341 @default.
- W194426287 hasConcept C154945302 @default.
- W194426287 hasConcept C174784677 @default.
- W194426287 hasConcept C25016198 @default.
- W194426287 hasConcept C2777669093 @default.
- W194426287 hasConcept C30788636 @default.
- W194426287 hasConcept C41008148 @default.
- W194426287 hasConcept C49937458 @default.
- W194426287 hasConcept C80444323 @default.
- W194426287 hasConceptScore W194426287C110251889 @default.
- W194426287 hasConceptScore W194426287C112505250 @default.
- W194426287 hasConceptScore W194426287C11413529 @default.
- W194426287 hasConceptScore W194426287C136643341 @default.
- W194426287 hasConceptScore W194426287C154945302 @default.
- W194426287 hasConceptScore W194426287C174784677 @default.
- W194426287 hasConceptScore W194426287C25016198 @default.
- W194426287 hasConceptScore W194426287C2777669093 @default.
- W194426287 hasConceptScore W194426287C30788636 @default.
- W194426287 hasConceptScore W194426287C41008148 @default.
- W194426287 hasConceptScore W194426287C49937458 @default.
- W194426287 hasConceptScore W194426287C80444323 @default.
- W194426287 hasLocation W1944262871 @default.
- W194426287 hasOpenAccess W194426287 @default.
- W194426287 hasPrimaryLocation W1944262871 @default.
- W194426287 hasRelatedWork W143370938 @default.
- W194426287 hasRelatedWork W1499514499 @default.
- W194426287 hasRelatedWork W1524401886 @default.
- W194426287 hasRelatedWork W1601091540 @default.
- W194426287 hasRelatedWork W1601211035 @default.
- W194426287 hasRelatedWork W1894019848 @default.
- W194426287 hasRelatedWork W1975773861 @default.
- W194426287 hasRelatedWork W2009280542 @default.
- W194426287 hasRelatedWork W2009363597 @default.
- W194426287 hasRelatedWork W2028827800 @default.
- W194426287 hasRelatedWork W2101508170 @default.
- W194426287 hasRelatedWork W2122077176 @default.
- W194426287 hasRelatedWork W2153675518 @default.
- W194426287 hasRelatedWork W2251374851 @default.
- W194426287 hasRelatedWork W2344990015 @default.
- W194426287 hasRelatedWork W2373389320 @default.
- W194426287 hasRelatedWork W2496418340 @default.
- W194426287 hasRelatedWork W2798527773 @default.
- W194426287 hasRelatedWork W2950940436 @default.
- W194426287 hasRelatedWork W3003884394 @default.
- W194426287 isParatext "false" @default.
- W194426287 isRetracted "false" @default.
- W194426287 magId "194426287" @default.
- W194426287 workType "article" @default.