collaborators

1 paper

cs.LO2026

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)

Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft +1

Statistical model checking delivers quantitative verification results with statistical guarantees. It scales to model sizes and model types that are out of reach for exhaustive, an…