TY  - RPRT
TI  - Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
AU  - Pedro R. D'Argenio
AU  - Arnd Hartmanns
AU  - Patrick Wienhöft
AU  - Mark van Wijk
PY  - 2026
UR  - https://arxiv.org/abs/2511.13460
ID  - 2511.13460
ER  -