A new SMC method approximates Pareto fronts of multi-objective MDP queries by sampling strategies, with a statistically sound lower bound and an asymptotic confidence band.
Title resolution pending
1 Pith paper cite this work, alongside 45 external citations. Polarity classification is still indexing.
1
Pith paper citing it
45
external citations · OpenAlex
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
A new SMC method approximates Pareto fronts of multi-objective MDP queries by sampling strategies, with a statistically sound lower bound and an asymptotic confidence band.