{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:54:09Z","timestamp":1725436449018},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Quantitative verification techniques offer an effective means<\/jats:p><jats:p>of computing performance and reliability properties for a wide range of systems.<\/jats:p><jats:p>In many cases, it is necessary to perform repeated analyses of a system,<\/jats:p><jats:p>for example to identify trends in results, determine optimal system parameters<\/jats:p><jats:p>or when performing online analysis for adaptive systems.<\/jats:p><jats:p>We argue the need for incremental quantitative verification techniques<\/jats:p><jats:p>which are able to re-use results from previous verification runs in order to improve efficiency.<\/jats:p><jats:p>We report on recently proposed techniques for incremental quantitative verification of Markov decision processes,<\/jats:p><jats:p>based on a decomposition of the model into its strongly connected components.<\/jats:p><jats:p>We give an overview of the method, describe a number of useful optimisations<\/jats:p><jats:p>and show experimental results that illustrate significant gains in run-time performance<\/jats:p><jats:p>using the incremental approach.<\/jats:p>","DOI":"10.29007\/bmcf","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:57:35Z","timestamp":1516730255000},"page":"245-231","source":"Crossref","is-referenced-by-count":0,"title":["On Incremental Quantitative Verification for Probabilistic Systems"],"prefix":"10.29007","volume":"42","author":[{"given":"Marta","family":"Kwiatkowska","sequence":"first","affiliation":[]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[]},{"given":"Hongyang","family":"Qu","sequence":"additional","affiliation":[]},{"given":"Mateusz","family":"Ujma","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:57:41Z","timestamp":1516730261000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/B3Nw"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/bmcf","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}