FRINK Linked Data Fragments server

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

• W2088892644 abstract "Abstraction refinement techniques in probabilistic model checking are prominent approaches to the verification of very large or infinite-state probabilistic concurrent systems. At the core of the refinement step lies the implicit or explicit analysis of a counterexample. This paper proposes an abstraction refinement approach for the probabilistic computation tree logic (PCTL), which is based on incrementally computing a sequence of may- and must-quotient automata. These are induced by depth-bounded bisimulation equivalences of increasing depth. The approach is both sound and complete, since the equivalences converge to the genuine PCTL equivalence. Experimental results with a prototype implementation show the effectiveness of the approach." @default.
• W2088892644 created "2016-06-24" @default.
• W2088892644 creator A5028747794 @default.
• W2088892644 creator A5065045401 @default.
• W2088892644 creator A5081589298 @default.
• W2088892644 creator A5088128024 @default.
• W2088892644 date "2013-07-01" @default.
• W2088892644 modified "2023-10-18" @default.
• W2088892644 title "Incremental Bisimulation Abstraction Refinement" @default.
• W2088892644 cites W1498004481 @default.
• W2088892644 cites W1501881008 @default.
• W2088892644 cites W1574289075 @default.
• W2088892644 cites W1583191255 @default.
• W2088892644 cites W1593969495 @default.
• W2088892644 cites W1715978372 @default.
• W2088892644 cites W1762983356 @default.
• W2088892644 cites W1770936898 @default.
• W2088892644 cites W1862398452 @default.
• W2088892644 cites W1963619740 @default.
• W2088892644 cites W1999787317 @default.
• W2088892644 cites W2005998857 @default.
• W2088892644 cites W2010875998 @default.
• W2088892644 cites W2016079448 @default.
• W2088892644 cites W2043235094 @default.
• W2088892644 cites W2044811734 @default.
• W2088892644 cites W2052092737 @default.
• W2088892644 cites W2054364230 @default.
• W2088892644 cites W2088501121 @default.
• W2088892644 cites W2098245493 @default.
• W2088892644 cites W2103972329 @default.
• W2088892644 cites W2110601664 @default.
• W2088892644 cites W2115555017 @default.
• W2088892644 cites W2125500714 @default.
• W2088892644 cites W2127574686 @default.
• W2088892644 cites W2130549449 @default.
• W2088892644 cites W2130820909 @default.
• W2088892644 cites W2139324000 @default.
• W2088892644 cites W2913788705 @default.
• W2088892644 cites W2914011863 @default.
• W2088892644 doi "https://doi.org/10.1109/acsd.2013.5" @default.
• W2088892644 hasPublicationYear "2013" @default.
• W2088892644 type Work @default.
• W2088892644 sameAs 2088892644 @default.
• W2088892644 citedByCount "1" @default.
• W2088892644 countsByYear W20888926442014 @default.
• W2088892644 crossrefType "proceedings-article" @default.
• W2088892644 hasAuthorship W2088892644A5028747794 @default.
• W2088892644 hasAuthorship W2088892644A5065045401 @default.
• W2088892644 hasAuthorship W2088892644A5081589298 @default.
• W2088892644 hasAuthorship W2088892644A5088128024 @default.
• W2088892644 hasConcept C110251889 @default.
• W2088892644 hasConcept C111472728 @default.
• W2088892644 hasConcept C112505250 @default.
• W2088892644 hasConcept C11413529 @default.
• W2088892644 hasConcept C118615104 @default.
• W2088892644 hasConcept C124304363 @default.
• W2088892644 hasConcept C134306372 @default.
• W2088892644 hasConcept C135315306 @default.
• W2088892644 hasConcept C138885662 @default.
• W2088892644 hasConcept C154945302 @default.
• W2088892644 hasConcept C162838799 @default.
• W2088892644 hasConcept C174784677 @default.
• W2088892644 hasConcept C199360897 @default.
• W2088892644 hasConcept C24404364 @default.
• W2088892644 hasConcept C2780069185 @default.
• W2088892644 hasConcept C2780654840 @default.
• W2088892644 hasConcept C33923547 @default.
• W2088892644 hasConcept C34388435 @default.
• W2088892644 hasConcept C41008148 @default.
• W2088892644 hasConcept C49937458 @default.
• W2088892644 hasConcept C52063229 @default.
• W2088892644 hasConcept C80444323 @default.
• W2088892644 hasConceptScore W2088892644C110251889 @default.
• W2088892644 hasConceptScore W2088892644C111472728 @default.
• W2088892644 hasConceptScore W2088892644C112505250 @default.
• W2088892644 hasConceptScore W2088892644C11413529 @default.
• W2088892644 hasConceptScore W2088892644C118615104 @default.
• W2088892644 hasConceptScore W2088892644C124304363 @default.
• W2088892644 hasConceptScore W2088892644C134306372 @default.
• W2088892644 hasConceptScore W2088892644C135315306 @default.
• W2088892644 hasConceptScore W2088892644C138885662 @default.
• W2088892644 hasConceptScore W2088892644C154945302 @default.
• W2088892644 hasConceptScore W2088892644C162838799 @default.
• W2088892644 hasConceptScore W2088892644C174784677 @default.
• W2088892644 hasConceptScore W2088892644C199360897 @default.
• W2088892644 hasConceptScore W2088892644C24404364 @default.
• W2088892644 hasConceptScore W2088892644C2780069185 @default.
• W2088892644 hasConceptScore W2088892644C2780654840 @default.
• W2088892644 hasConceptScore W2088892644C33923547 @default.
• W2088892644 hasConceptScore W2088892644C34388435 @default.
• W2088892644 hasConceptScore W2088892644C41008148 @default.
• W2088892644 hasConceptScore W2088892644C49937458 @default.
• W2088892644 hasConceptScore W2088892644C52063229 @default.
• W2088892644 hasConceptScore W2088892644C80444323 @default.
• W2088892644 hasLocation W20888926441 @default.
• W2088892644 hasOpenAccess W2088892644 @default.
• W2088892644 hasPrimaryLocation W20888926441 @default.
• W2088892644 hasRelatedWork W103774727 @default.
• W2088892644 hasRelatedWork W1494467844 @default.
• W2088892644 hasRelatedWork W1801993675 @default.

• next