FRINK Linked Data Fragments server

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

• W1501881008 endingPage "101" @default.
• W1501881008 startingPage "87" @default.
• W1501881008 abstract "This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards. Our results show that—as for traditional model checking—enormous state space reductions (up to logarithmic savings) may be obtained. In contrast to traditional model checking, in many cases, the verification time of the original Markov chain exceeds the quotienting time plus the verification time of the quotient. We consider probabilistic bisimulation as well as versions thereof that are tailored to the property to be checked." @default.
• W1501881008 created "2016-06-24" @default.
• W1501881008 creator A5006029818 @default.
• W1501881008 creator A5041905281 @default.
• W1501881008 creator A5089111125 @default.
• W1501881008 creator A5090819329 @default.
• W1501881008 date "2007-07-04" @default.
• W1501881008 modified "2023-10-03" @default.
• W1501881008 title "Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking" @default.
• W1501881008 cites W1494542683 @default.
• W1501881008 cites W1497573972 @default.
• W1501881008 cites W1499277573 @default.
• W1501881008 cites W1502561786 @default.
• W1501881008 cites W1511105469 @default.
• W1501881008 cites W1525386718 @default.
• W1501881008 cites W1557817244 @default.
• W1501881008 cites W1574045977 @default.
• W1501881008 cites W1583191255 @default.
• W1501881008 cites W1596739056 @default.
• W1501881008 cites W1603153151 @default.
• W1501881008 cites W1976268573 @default.
• W1501881008 cites W1978884755 @default.
• W1501881008 cites W2005998857 @default.
• W1501881008 cites W2041226400 @default.
• W1501881008 cites W2044811734 @default.
• W1501881008 cites W2047343396 @default.
• W1501881008 cites W2054364230 @default.
• W1501881008 cites W2071659383 @default.
• W1501881008 cites W2074209229 @default.
• W1501881008 cites W2095861482 @default.
• W1501881008 cites W2096210507 @default.
• W1501881008 cites W2114710208 @default.
• W1501881008 cites W2115555017 @default.
• W1501881008 cites W2129355439 @default.
• W1501881008 cites W2162943184 @default.
• W1501881008 cites W4206542816 @default.
• W1501881008 cites W4233556240 @default.
• W1501881008 doi "https://doi.org/10.1007/978-3-540-71209-1_9" @default.
• W1501881008 hasPublicationYear "2007" @default.
• W1501881008 type Work @default.
• W1501881008 sameAs 1501881008 @default.
• W1501881008 citedByCount "98" @default.
• W1501881008 countsByYear W15018810082012 @default.
• W1501881008 countsByYear W15018810082013 @default.
• W1501881008 countsByYear W15018810082014 @default.
• W1501881008 countsByYear W15018810082015 @default.
• W1501881008 countsByYear W15018810082016 @default.
• W1501881008 countsByYear W15018810082017 @default.
• W1501881008 countsByYear W15018810082018 @default.
• W1501881008 countsByYear W15018810082019 @default.
• W1501881008 countsByYear W15018810082020 @default.
• W1501881008 countsByYear W15018810082021 @default.
• W1501881008 countsByYear W15018810082022 @default.
• W1501881008 crossrefType "book-chapter" @default.
• W1501881008 hasAuthorship W1501881008A5006029818 @default.
• W1501881008 hasAuthorship W1501881008A5041905281 @default.
• W1501881008 hasAuthorship W1501881008A5089111125 @default.
• W1501881008 hasAuthorship W1501881008A5090819329 @default.
• W1501881008 hasBestOaLocation W15018810081 @default.
• W1501881008 hasConcept C105795698 @default.
• W1501881008 hasConcept C110251889 @default.
• W1501881008 hasConcept C11413529 @default.
• W1501881008 hasConcept C118615104 @default.
• W1501881008 hasConcept C119857082 @default.
• W1501881008 hasConcept C134306372 @default.
• W1501881008 hasConcept C135315306 @default.
• W1501881008 hasConcept C154945302 @default.
• W1501881008 hasConcept C199422724 @default.
• W1501881008 hasConcept C202444582 @default.
• W1501881008 hasConcept C2778003309 @default.
• W1501881008 hasConcept C30888246 @default.
• W1501881008 hasConcept C33923547 @default.
• W1501881008 hasConcept C39927690 @default.
• W1501881008 hasConcept C41008148 @default.
• W1501881008 hasConcept C49937458 @default.
• W1501881008 hasConcept C55689738 @default.
• W1501881008 hasConcept C80444323 @default.
• W1501881008 hasConcept C86941820 @default.
• W1501881008 hasConcept C98763669 @default.
• W1501881008 hasConceptScore W1501881008C105795698 @default.
• W1501881008 hasConceptScore W1501881008C110251889 @default.
• W1501881008 hasConceptScore W1501881008C11413529 @default.
• W1501881008 hasConceptScore W1501881008C118615104 @default.
• W1501881008 hasConceptScore W1501881008C119857082 @default.
• W1501881008 hasConceptScore W1501881008C134306372 @default.
• W1501881008 hasConceptScore W1501881008C135315306 @default.
• W1501881008 hasConceptScore W1501881008C154945302 @default.
• W1501881008 hasConceptScore W1501881008C199422724 @default.
• W1501881008 hasConceptScore W1501881008C202444582 @default.
• W1501881008 hasConceptScore W1501881008C2778003309 @default.
• W1501881008 hasConceptScore W1501881008C30888246 @default.
• W1501881008 hasConceptScore W1501881008C33923547 @default.
• W1501881008 hasConceptScore W1501881008C39927690 @default.
• W1501881008 hasConceptScore W1501881008C41008148 @default.
• W1501881008 hasConceptScore W1501881008C49937458 @default.
• W1501881008 hasConceptScore W1501881008C55689738 @default.
• W1501881008 hasConceptScore W1501881008C80444323 @default.
• W1501881008 hasConceptScore W1501881008C86941820 @default.

• next