Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022498886> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3022498886 abstract "Quantitative verification techniques offer an effective means of computing performance and reliability properties for a wide range of systems. In many cases, it is necessary to perform repeated analyses of a system, for example to identify trends in results, determine optimal system parameters or when performing online analysis for adaptive systems. We argue the need for incremental quantitative verification techniques which are able to re-use results from previous verification runs in order to improve efficiency. We report on recently proposed techniques for incremental quantitative verification of Markov decision processes, based on a decomposition of the model into its strongly connected components. We give an overview of the method, describe a number of useful optimisations and show experimental results that illustrate significant gains in run-time performance using the incremental approach." @default.
- W3022498886 created "2020-05-13" @default.
- W3022498886 creator A5036097359 @default.
- W3022498886 creator A5059964100 @default.
- W3022498886 creator A5079999707 @default.
- W3022498886 creator A5081710233 @default.
- W3022498886 date "2018-01-23" @default.
- W3022498886 modified "2023-09-27" @default.
- W3022498886 title "On Incremental Quantitative Verification for Probabilistic Systems" @default.
- W3022498886 doi "https://doi.org/10.29007/bmcf" @default.
- W3022498886 hasPublicationYear "2018" @default.
- W3022498886 type Work @default.
- W3022498886 sameAs 3022498886 @default.
- W3022498886 citedByCount "1" @default.
- W3022498886 countsByYear W30224988862015 @default.
- W3022498886 crossrefType "proceedings-article" @default.
- W3022498886 hasAuthorship W3022498886A5036097359 @default.
- W3022498886 hasAuthorship W3022498886A5059964100 @default.
- W3022498886 hasAuthorship W3022498886A5079999707 @default.
- W3022498886 hasAuthorship W3022498886A5081710233 @default.
- W3022498886 hasBestOaLocation W30224988861 @default.
- W3022498886 hasConcept C105795698 @default.
- W3022498886 hasConcept C106189395 @default.
- W3022498886 hasConcept C119857082 @default.
- W3022498886 hasConcept C121332964 @default.
- W3022498886 hasConcept C124101348 @default.
- W3022498886 hasConcept C124681953 @default.
- W3022498886 hasConcept C154945302 @default.
- W3022498886 hasConcept C159886148 @default.
- W3022498886 hasConcept C159985019 @default.
- W3022498886 hasConcept C163258240 @default.
- W3022498886 hasConcept C18903297 @default.
- W3022498886 hasConcept C192562407 @default.
- W3022498886 hasConcept C204323151 @default.
- W3022498886 hasConcept C33923547 @default.
- W3022498886 hasConcept C41008148 @default.
- W3022498886 hasConcept C43214815 @default.
- W3022498886 hasConcept C49937458 @default.
- W3022498886 hasConcept C62520636 @default.
- W3022498886 hasConcept C86803240 @default.
- W3022498886 hasConcept C98763669 @default.
- W3022498886 hasConceptScore W3022498886C105795698 @default.
- W3022498886 hasConceptScore W3022498886C106189395 @default.
- W3022498886 hasConceptScore W3022498886C119857082 @default.
- W3022498886 hasConceptScore W3022498886C121332964 @default.
- W3022498886 hasConceptScore W3022498886C124101348 @default.
- W3022498886 hasConceptScore W3022498886C124681953 @default.
- W3022498886 hasConceptScore W3022498886C154945302 @default.
- W3022498886 hasConceptScore W3022498886C159886148 @default.
- W3022498886 hasConceptScore W3022498886C159985019 @default.
- W3022498886 hasConceptScore W3022498886C163258240 @default.
- W3022498886 hasConceptScore W3022498886C18903297 @default.
- W3022498886 hasConceptScore W3022498886C192562407 @default.
- W3022498886 hasConceptScore W3022498886C204323151 @default.
- W3022498886 hasConceptScore W3022498886C33923547 @default.
- W3022498886 hasConceptScore W3022498886C41008148 @default.
- W3022498886 hasConceptScore W3022498886C43214815 @default.
- W3022498886 hasConceptScore W3022498886C49937458 @default.
- W3022498886 hasConceptScore W3022498886C62520636 @default.
- W3022498886 hasConceptScore W3022498886C86803240 @default.
- W3022498886 hasConceptScore W3022498886C98763669 @default.
- W3022498886 hasLocation W30224988861 @default.
- W3022498886 hasLocation W30224988862 @default.
- W3022498886 hasLocation W30224988863 @default.
- W3022498886 hasLocation W30224988864 @default.
- W3022498886 hasOpenAccess W3022498886 @default.
- W3022498886 hasPrimaryLocation W30224988861 @default.
- W3022498886 hasRelatedWork W1515117609 @default.
- W3022498886 hasRelatedWork W2097439419 @default.
- W3022498886 hasRelatedWork W2104198943 @default.
- W3022498886 hasRelatedWork W2117282672 @default.
- W3022498886 hasRelatedWork W2134490041 @default.
- W3022498886 hasRelatedWork W2325176130 @default.
- W3022498886 hasRelatedWork W2951033492 @default.
- W3022498886 hasRelatedWork W4297909958 @default.
- W3022498886 hasRelatedWork W4317465184 @default.
- W3022498886 hasRelatedWork W830459867 @default.
- W3022498886 isParatext "false" @default.
- W3022498886 isRetracted "false" @default.
- W3022498886 magId "3022498886" @default.
- W3022498886 workType "article" @default.