arXiv preprint / cs.LO

Scenario-Based Compositional Statistical Model Checking for Safety Specifications

作者：Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang, Beyazit Yalcinkaya, Sanjit A. Seshia · 单位：University of California, Berkeley, USA · 会议/期刊：arXiv preprint · 方向：cs.LO · 发布日期：2026-10-06

2026-10-06🚗 自动驾驶
新标签打开 AlphaXiv新标签打开 Code
Scenario-Based Compositional Statistical Model Checking for Safety Specifications figure
AlphaXiv 中文概览（可滚动查看）