Preprint Open access
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
In safety-critical domains such as autonomous driving, systems must be evaluated across a large number of environment conditions, often represented as composite scenarios built from primitive scenarios. Existing statistical model checking (SMC) approaches analyze each composite scenario independently, requiring many ex …