Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299290418> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4299290418 abstract "Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in controller synthesis and compositional probabilistic verification. However, existing methods are based on linear programming, which limits the scale of systems that can be analysed and makes verification of time-bounded properties very difficult. We present a novel approach that addresses both of these shortcomings, based on the generation of successive approximations of the Pareto curve for a multi-objective model checking problem. We illustrate dramatic improvements in efficiency on a large set of benchmarks and show how the ability to visualise Pareto curves significantly enhances the quality of results obtained from current probabilistic verification tools." @default.
- W4299290418 created "2022-10-02" @default.
- W4299290418 creator A5071014323 @default.
- W4299290418 creator A5081710233 @default.
- W4299290418 creator A5087974593 @default.
- W4299290418 date "2012-06-24" @default.
- W4299290418 modified "2023-10-17" @default.
- W4299290418 title "Pareto Curves for Probabilistic Model Checking" @default.
- W4299290418 doi "https://doi.org/10.48550/arxiv.1206.6295" @default.
- W4299290418 hasPublicationYear "2012" @default.
- W4299290418 type Work @default.
- W4299290418 citedByCount "0" @default.
- W4299290418 crossrefType "posted-content" @default.
- W4299290418 hasAuthorship W4299290418A5071014323 @default.
- W4299290418 hasAuthorship W4299290418A5081710233 @default.
- W4299290418 hasAuthorship W4299290418A5087974593 @default.
- W4299290418 hasBestOaLocation W42992904181 @default.
- W4299290418 hasConcept C110251889 @default.
- W4299290418 hasConcept C11413529 @default.
- W4299290418 hasConcept C121332964 @default.
- W4299290418 hasConcept C126255220 @default.
- W4299290418 hasConcept C134306372 @default.
- W4299290418 hasConcept C137635306 @default.
- W4299290418 hasConcept C143017306 @default.
- W4299290418 hasConcept C154945302 @default.
- W4299290418 hasConcept C177264268 @default.
- W4299290418 hasConcept C199360897 @default.
- W4299290418 hasConcept C24404364 @default.
- W4299290418 hasConcept C2778755073 @default.
- W4299290418 hasConcept C33923547 @default.
- W4299290418 hasConcept C34388435 @default.
- W4299290418 hasConcept C41008148 @default.
- W4299290418 hasConcept C49937458 @default.
- W4299290418 hasConcept C62520636 @default.
- W4299290418 hasConceptScore W4299290418C110251889 @default.
- W4299290418 hasConceptScore W4299290418C11413529 @default.
- W4299290418 hasConceptScore W4299290418C121332964 @default.
- W4299290418 hasConceptScore W4299290418C126255220 @default.
- W4299290418 hasConceptScore W4299290418C134306372 @default.
- W4299290418 hasConceptScore W4299290418C137635306 @default.
- W4299290418 hasConceptScore W4299290418C143017306 @default.
- W4299290418 hasConceptScore W4299290418C154945302 @default.
- W4299290418 hasConceptScore W4299290418C177264268 @default.
- W4299290418 hasConceptScore W4299290418C199360897 @default.
- W4299290418 hasConceptScore W4299290418C24404364 @default.
- W4299290418 hasConceptScore W4299290418C2778755073 @default.
- W4299290418 hasConceptScore W4299290418C33923547 @default.
- W4299290418 hasConceptScore W4299290418C34388435 @default.
- W4299290418 hasConceptScore W4299290418C41008148 @default.
- W4299290418 hasConceptScore W4299290418C49937458 @default.
- W4299290418 hasConceptScore W4299290418C62520636 @default.
- W4299290418 hasLocation W42992904181 @default.
- W4299290418 hasLocation W42992904182 @default.
- W4299290418 hasLocation W42992904183 @default.
- W4299290418 hasOpenAccess W4299290418 @default.
- W4299290418 hasPrimaryLocation W42992904181 @default.
- W4299290418 hasRelatedWork W1491338215 @default.
- W4299290418 hasRelatedWork W1536531504 @default.
- W4299290418 hasRelatedWork W16586245 @default.
- W4299290418 hasRelatedWork W1993518163 @default.
- W4299290418 hasRelatedWork W2166283373 @default.
- W4299290418 hasRelatedWork W2316613179 @default.
- W4299290418 hasRelatedWork W2576017016 @default.
- W4299290418 hasRelatedWork W2951152659 @default.
- W4299290418 hasRelatedWork W3125635061 @default.
- W4299290418 hasRelatedWork W4299290418 @default.
- W4299290418 isParatext "false" @default.
- W4299290418 isRetracted "false" @default.
- W4299290418 workType "article" @default.