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...
Abhinav Pomalapally, Arya Raeesi, K. Chang et al.
· 0 citations