Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366456478> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4366456478 abstract "In this paper, we propose an approximating framework for analyzing parametric Markov models. Instead of computing complex rational functions encoding the reachability probability and the reward values of the parametric model, we exploit the scenario approach to synthesize a relatively simple polynomial approximation. The approximation is probably approximately correct (PAC), meaning that with high confidence, the approximating function is close to the actual function with an allowable error. With the PAC approximations, one can check properties of the parametric Markov models. We show that the scenario approach can also be used to check PRCTL properties directly, without synthesizing the polynomial at first hand. We have implemented our algorithm in a prototype tool and conducted thorough experiments. The experimental results demonstrate that our tool is able to compute polynomials for more benchmarks than state of the art tools such as PRISM and Storm, confirming the efficacy of our PAC-based synthesis." @default.
- W4366456478 created "2023-04-22" @default.
- W4366456478 creator A5026330734 @default.
- W4366456478 creator A5060002817 @default.
- W4366456478 creator A5074733161 @default.
- W4366456478 creator A5081589298 @default.
- W4366456478 creator A5089413793 @default.
- W4366456478 date "2023-04-17" @default.
- W4366456478 modified "2023-09-27" @default.
- W4366456478 title "Scenario Approach for Parametric Markov Models" @default.
- W4366456478 doi "https://doi.org/10.48550/arxiv.2304.08330" @default.
- W4366456478 hasPublicationYear "2023" @default.
- W4366456478 type Work @default.
- W4366456478 citedByCount "0" @default.
- W4366456478 crossrefType "posted-content" @default.
- W4366456478 hasAuthorship W4366456478A5026330734 @default.
- W4366456478 hasAuthorship W4366456478A5060002817 @default.
- W4366456478 hasAuthorship W4366456478A5074733161 @default.
- W4366456478 hasAuthorship W4366456478A5081589298 @default.
- W4366456478 hasAuthorship W4366456478A5089413793 @default.
- W4366456478 hasBestOaLocation W43664564781 @default.
- W4366456478 hasConcept C105795698 @default.
- W4366456478 hasConcept C106189395 @default.
- W4366456478 hasConcept C111472728 @default.
- W4366456478 hasConcept C11413529 @default.
- W4366456478 hasConcept C117251300 @default.
- W4366456478 hasConcept C119857082 @default.
- W4366456478 hasConcept C126255220 @default.
- W4366456478 hasConcept C134306372 @default.
- W4366456478 hasConcept C136643341 @default.
- W4366456478 hasConcept C138885662 @default.
- W4366456478 hasConcept C14036430 @default.
- W4366456478 hasConcept C159886148 @default.
- W4366456478 hasConcept C2780586882 @default.
- W4366456478 hasConcept C28826006 @default.
- W4366456478 hasConcept C33923547 @default.
- W4366456478 hasConcept C41008148 @default.
- W4366456478 hasConcept C78458016 @default.
- W4366456478 hasConcept C86803240 @default.
- W4366456478 hasConcept C90119067 @default.
- W4366456478 hasConcept C98763669 @default.
- W4366456478 hasConceptScore W4366456478C105795698 @default.
- W4366456478 hasConceptScore W4366456478C106189395 @default.
- W4366456478 hasConceptScore W4366456478C111472728 @default.
- W4366456478 hasConceptScore W4366456478C11413529 @default.
- W4366456478 hasConceptScore W4366456478C117251300 @default.
- W4366456478 hasConceptScore W4366456478C119857082 @default.
- W4366456478 hasConceptScore W4366456478C126255220 @default.
- W4366456478 hasConceptScore W4366456478C134306372 @default.
- W4366456478 hasConceptScore W4366456478C136643341 @default.
- W4366456478 hasConceptScore W4366456478C138885662 @default.
- W4366456478 hasConceptScore W4366456478C14036430 @default.
- W4366456478 hasConceptScore W4366456478C159886148 @default.
- W4366456478 hasConceptScore W4366456478C2780586882 @default.
- W4366456478 hasConceptScore W4366456478C28826006 @default.
- W4366456478 hasConceptScore W4366456478C33923547 @default.
- W4366456478 hasConceptScore W4366456478C41008148 @default.
- W4366456478 hasConceptScore W4366456478C78458016 @default.
- W4366456478 hasConceptScore W4366456478C86803240 @default.
- W4366456478 hasConceptScore W4366456478C90119067 @default.
- W4366456478 hasConceptScore W4366456478C98763669 @default.
- W4366456478 hasLocation W43664564781 @default.
- W4366456478 hasOpenAccess W4366456478 @default.
- W4366456478 hasPrimaryLocation W43664564781 @default.
- W4366456478 hasRelatedWork W2041721334 @default.
- W4366456478 hasRelatedWork W2055345933 @default.
- W4366456478 hasRelatedWork W2930056168 @default.
- W4366456478 hasRelatedWork W3137295776 @default.
- W4366456478 hasRelatedWork W3140738360 @default.
- W4366456478 hasRelatedWork W3198596521 @default.
- W4366456478 hasRelatedWork W4287267404 @default.
- W4366456478 hasRelatedWork W4287640753 @default.
- W4366456478 hasRelatedWork W4287660132 @default.
- W4366456478 hasRelatedWork W577409191 @default.
- W4366456478 isParatext "false" @default.
- W4366456478 isRetracted "false" @default.
- W4366456478 workType "article" @default.