@misc{indiciaed42e0f1eae42,
  title = {Scenario-Based Compositional Statistical Model Checking for Safety Specifications},
  author = {Abhinav Pomalapally and Arya Raeesi and Kevin Kai-Chun Chang and Beyazit Yalcinkaya and Sanjit A. Seshia},
  year = {2026},
  url = {https://arxiv.org/abs/2610.05571},
  note = {Source identifier: 2610.05571}
}