论文记录 · 证据边界公开

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

arXiv v3 + IEEE Control Systems Letters（L-CSS 2026 已刊） · 2025-11-02 · STL 形式化验证：确定性 STL vs PAC 界可达集 + 区间 STL（规范级鲁棒区间）

论文元数据

作者
Hanna Krasowski、Elizabeth Dietrich、Emir Cem Gezer、Roger Skjetne、Asgeir Johan Sørensen、Murat Arcak
机构
机构尚未补齐
发布日期精度
日
研究方向
STL 形式化验证：确定性 STL vs PAC 界可达集 + 区间 STL（规范级鲁棒区间）
机器人
四旋翼飞行场景验证、海事导航遭遇运行时监控（仿真/案例）
DOI
10.1109/lcsys.2026.3715556
arXiv
2511.00934
引用元数据
0
记录状态
included
质量检查
无自动质量红旗