الملخص
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 expensive simulations and resulting in substantial redundant computation when scenarios share common structure. This work introduces a scenario-based compositional SMC framework for safety and co-safety specifications, enabling efficient analysis of composite scenarios. Our approach decomposes scenarios into primitives and specifications into sub-specifications, verifies each primitive independently, and composes the resulting statistical estimates using importance sampling and kernel density estimation. Our empirical evaluation shows that the proposed framework can accurately answer verification queries for previously unseen composite scenarios while reducing simulation cost through parallelization and trace reuse.
الكلمات المفتاحية
بيانات النشر
- المجلة
- غير متاح
- وصول مفتوح
- وصول مفتوح أخضر
اقتبس هذه المقالة
APA 7
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
MLA 9
Pomalapally, Abhinav, et al. "Scenario-Based Compositional Statistical Model Checking for Safety Specifications." https://omanscience.com/ar/articles/scenario-based-compositional-statistical-model-checking-for-safety-specifications.
شيكاغو (المؤلف–التاريخ)
Pomalapally, Abhinav, Arya Raeesi, Kevin Kai-Chun Chang, Beyazit Yalcinkaya, and Sanjit A. Seshia. 2026. "Scenario-Based Compositional Statistical Model Checking for Safety Specifications." https://omanscience.com/ar/articles/scenario-based-compositional-statistical-model-checking-for-safety-specifications.
هارفارد
Pomalapally, A., Raeesi, A., Chang, K. K. C., Yalcinkaya, B. and Seshia, S. A. (2026) 'Scenario-Based Compositional Statistical Model Checking for Safety Specifications', Available at: https://omanscience.com/ar/articles/scenario-based-compositional-statistical-model-checking-for-safety-specifications.
فانكوفر
Pomalapally A, Raeesi A, Chang KKC, Yalcinkaya B, Seshia SA. Scenario-Based Compositional Statistical Model Checking for Safety Specifications. https://omanscience.com/ar/articles/scenario-based-compositional-statistical-model-checking-for-safety-specifications
IEEE
A. Pomalapally, A. Raeesi, K. K. C. Chang, B. Yalcinkaya, and S. A. Seshia, "Scenario-Based Compositional Statistical Model Checking for Safety Specifications," https://omanscience.com/ar/articles/scenario-based-compositional-statistical-model-checking-for-safety-specifications.