Pomalapally, A., Raeesi, A., Chang, K. K. C., Yalcinkaya, B., & Seshia, S. A. (2026). Scenario-Based Compositional Statistical Model Checking for Safety Specifications. https://omanscience.com/ar/articles/scenario-based-compositional-statistical-model-checking-for-safety-specifications