Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014955827> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2014955827 abstract "The generation of counterexamples for probabilistic model checking has been an area of active research over the past five years. Tangible outcome of this research are novel directed and heuristic algorithms for efficient generation of probabilistic counterexamples, such as K* and XBF. In this paper we present an empirical evaluation of the efficiency of these algorithms and the well-known Eppstein's algorithm. We will also evaluate the effect of optimisations applied to Eppstein, K* and XBF. Additionally, we will show, how information produced during model checking can be used to guide the search for counterexamples. This is a first step towards automatically generating heuristic functions. The experimental evaluation of the various algorithms is done by applying them to one case study, knwon from the literature on probabilistic model checking and one case study taken from the automotive industry." @default.
- W2014955827 created "2016-06-24" @default.
- W2014955827 creator A5023654677 @default.
- W2014955827 creator A5038809501 @default.
- W2014955827 creator A5045470371 @default.
- W2014955827 creator A5085038179 @default.
- W2014955827 date "2010-05-03" @default.
- W2014955827 modified "2023-09-24" @default.
- W2014955827 title "Directed and heuristic counterexample generation for probabilistic model checking" @default.
- W2014955827 cites W1512013481 @default.
- W2014955827 cites W1859458367 @default.
- W2014955827 cites W2047217912 @default.
- W2014955827 cites W2098787400 @default.
- W2014955827 cites W2118467147 @default.
- W2014955827 cites W2131058166 @default.
- W2014955827 cites W2141881497 @default.
- W2014955827 cites W2142108731 @default.
- W2014955827 cites W2144320318 @default.
- W2014955827 cites W2145002677 @default.
- W2014955827 cites W2145167856 @default.
- W2014955827 cites W2156008373 @default.
- W2014955827 cites W2160612550 @default.
- W2014955827 cites W2164096878 @default.
- W2014955827 cites W2913788705 @default.
- W2014955827 cites W2114677616 @default.
- W2014955827 doi "https://doi.org/10.1145/1808877.1808883" @default.
- W2014955827 hasPublicationYear "2010" @default.
- W2014955827 type Work @default.
- W2014955827 sameAs 2014955827 @default.
- W2014955827 citedByCount "5" @default.
- W2014955827 countsByYear W20149558272012 @default.
- W2014955827 countsByYear W20149558272015 @default.
- W2014955827 countsByYear W20149558272019 @default.
- W2014955827 crossrefType "proceedings-article" @default.
- W2014955827 hasAuthorship W2014955827A5023654677 @default.
- W2014955827 hasAuthorship W2014955827A5038809501 @default.
- W2014955827 hasAuthorship W2014955827A5045470371 @default.
- W2014955827 hasAuthorship W2014955827A5085038179 @default.
- W2014955827 hasBestOaLocation W20149558272 @default.
- W2014955827 hasConcept C110251889 @default.
- W2014955827 hasConcept C11413529 @default.
- W2014955827 hasConcept C118615104 @default.
- W2014955827 hasConcept C154945302 @default.
- W2014955827 hasConcept C162838799 @default.
- W2014955827 hasConcept C173801870 @default.
- W2014955827 hasConcept C199360897 @default.
- W2014955827 hasConcept C33923547 @default.
- W2014955827 hasConcept C41008148 @default.
- W2014955827 hasConcept C49937458 @default.
- W2014955827 hasConcept C80444323 @default.
- W2014955827 hasConceptScore W2014955827C110251889 @default.
- W2014955827 hasConceptScore W2014955827C11413529 @default.
- W2014955827 hasConceptScore W2014955827C118615104 @default.
- W2014955827 hasConceptScore W2014955827C154945302 @default.
- W2014955827 hasConceptScore W2014955827C162838799 @default.
- W2014955827 hasConceptScore W2014955827C173801870 @default.
- W2014955827 hasConceptScore W2014955827C199360897 @default.
- W2014955827 hasConceptScore W2014955827C33923547 @default.
- W2014955827 hasConceptScore W2014955827C41008148 @default.
- W2014955827 hasConceptScore W2014955827C49937458 @default.
- W2014955827 hasConceptScore W2014955827C80444323 @default.
- W2014955827 hasLocation W20149558271 @default.
- W2014955827 hasLocation W20149558272 @default.
- W2014955827 hasOpenAccess W2014955827 @default.
- W2014955827 hasPrimaryLocation W20149558271 @default.
- W2014955827 hasRelatedWork W103774727 @default.
- W2014955827 hasRelatedWork W1544497644 @default.
- W2014955827 hasRelatedWork W2022019677 @default.
- W2014955827 hasRelatedWork W2105172619 @default.
- W2014955827 hasRelatedWork W2660972524 @default.
- W2014955827 hasRelatedWork W2734341768 @default.
- W2014955827 hasRelatedWork W2807380651 @default.
- W2014955827 hasRelatedWork W2950723509 @default.
- W2014955827 hasRelatedWork W3101973194 @default.
- W2014955827 hasRelatedWork W3216453466 @default.
- W2014955827 isParatext "false" @default.
- W2014955827 isRetracted "false" @default.
- W2014955827 magId "2014955827" @default.
- W2014955827 workType "article" @default.