FRINK Linked Data Fragments server

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

• W1964387595 endingPage "239" @default.
• W1964387595 startingPage "230" @default.
• W1964387595 abstract "In the past, several model checking algorithms have been proposed to verify probabilistic reactive systems. The techniques to combat the state-explosion problem have mainly concentrated on symbolic methods with variants of decision diagrams or abstraction methods. In this paper, we show how partial order reduction with a variant of Peled's ample set method can be applied in the context of LTL model checking for probabilistic systems modelled by Markov decision processes." @default.
• W1964387595 created "2016-06-24" @default.
• W1964387595 creator A5015505764 @default.
• W1964387595 creator A5020534054 @default.
• W1964387595 creator A5091344667 @default.
• W1964387595 date "2004-09-27" @default.
• W1964387595 modified "2023-09-23" @default.
• W1964387595 title "Partial order reduction for probabilistic systems" @default.
• W1964387595 cites W139143222 @default.
• W1964387595 cites W1489359924 @default.
• W1964387595 cites W1514560100 @default.
• W1964387595 cites W1523289856 @default.
• W1964387595 cites W1528441743 @default.
• W1964387595 cites W1539345619 @default.
• W1964387595 cites W1555229756 @default.
• W1964387595 cites W1568729458 @default.
• W1964387595 cites W1583191255 @default.
• W1964387595 cites W1598283203 @default.
• W1964387595 cites W1604677256 @default.
• W1964387595 cites W16120781 @default.
• W1964387595 cites W1621538476 @default.
• W1964387595 cites W1806449990 @default.
• W1964387595 cites W1810681804 @default.
• W1964387595 cites W1846253165 @default.
• W1964387595 cites W1934074768 @default.
• W1964387595 cites W1943502734 @default.
• W1964387595 cites W1963619740 @default.
• W1964387595 cites W1972203711 @default.
• W1964387595 cites W1976268573 @default.
• W1964387595 cites W2020293036 @default.
• W1964387595 cites W2023808162 @default.
• W1964387595 cites W2086070079 @default.
• W1964387595 cites W2093709900 @default.
• W1964387595 cites W2098737431 @default.
• W1964387595 cites W2119567691 @default.
• W1964387595 cites W2119610731 @default.
• W1964387595 cites W2124182722 @default.
• W1964387595 cites W2129355439 @default.
• W1964387595 cites W2134991157 @default.
• W1964387595 cites W2140190779 @default.
• W1964387595 cites W2144690539 @default.
• W1964387595 cites W2153358971 @default.
• W1964387595 cites W2162648777 @default.
• W1964387595 cites W2162943184 @default.
• W1964387595 cites W2165161585 @default.
• W1964387595 cites W2166396462 @default.
• W1964387595 cites W2167978186 @default.
• W1964387595 cites W2168246878 @default.
• W1964387595 cites W2337623929 @default.
• W1964387595 cites W2340735175 @default.
• W1964387595 cites W2913459036 @default.
• W1964387595 cites W42364276 @default.
• W1964387595 cites W1601373402 @default.
• W1964387595 cites W3021383278 @default.
• W1964387595 doi "https://doi.org/10.1109/qest.2004.30" @default.
• W1964387595 hasPublicationYear "2004" @default.
• W1964387595 type Work @default.
• W1964387595 sameAs 1964387595 @default.
• W1964387595 citedByCount "25" @default.
• W1964387595 countsByYear W19643875952012 @default.
• W1964387595 countsByYear W19643875952013 @default.
• W1964387595 countsByYear W19643875952014 @default.
• W1964387595 countsByYear W19643875952015 @default.
• W1964387595 countsByYear W19643875952016 @default.
• W1964387595 countsByYear W19643875952019 @default.
• W1964387595 crossrefType "proceedings-article" @default.
• W1964387595 hasAuthorship W1964387595A5015505764 @default.
• W1964387595 hasAuthorship W1964387595A5020534054 @default.
• W1964387595 hasAuthorship W1964387595A5091344667 @default.
• W1964387595 hasConcept C105795698 @default.
• W1964387595 hasConcept C106189395 @default.
• W1964387595 hasConcept C110251889 @default.
• W1964387595 hasConcept C111335779 @default.
• W1964387595 hasConcept C111472728 @default.
• W1964387595 hasConcept C11413529 @default.
• W1964387595 hasConcept C124304363 @default.
• W1964387595 hasConcept C138885662 @default.
• W1964387595 hasConcept C143017306 @default.
• W1964387595 hasConcept C151730666 @default.
• W1964387595 hasConcept C154945302 @default.
• W1964387595 hasConcept C159886148 @default.
• W1964387595 hasConcept C177264268 @default.
• W1964387595 hasConcept C199360897 @default.
• W1964387595 hasConcept C24404364 @default.
• W1964387595 hasConcept C2524010 @default.
• W1964387595 hasConcept C2779343474 @default.
• W1964387595 hasConcept C30888246 @default.
• W1964387595 hasConcept C33923547 @default.
• W1964387595 hasConcept C41008148 @default.
• W1964387595 hasConcept C49937458 @default.
• W1964387595 hasConcept C52063229 @default.
• W1964387595 hasConcept C80444323 @default.
• W1964387595 hasConcept C86803240 @default.
• W1964387595 hasConcept C94633896 @default.
• W1964387595 hasConceptScore W1964387595C105795698 @default.
• W1964387595 hasConceptScore W1964387595C106189395 @default.
• W1964387595 hasConceptScore W1964387595C110251889 @default.
• W1964387595 hasConceptScore W1964387595C111335779 @default.

• next