论文记录 · 证据边界公开

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study

arXiv v1 (2026-08-03); 双盲评审匿名仓(anonymous.4open.science)+ 演示视频 · 2026-08-03 · pacSTL(概率 STL) vs STL vs TCPA 风险指标的 COLREG 监控(含波浪扰动仿真与硬件试验)

论文元数据

作者
Elizabeth Dietrich、Hanna Krasowski、Emir Cem Gezer、Roger Skjetne、Asgeir Johan Sørensen、Murat Arcak
机构
机构尚未补齐
发布日期精度
研究方向
pacSTL(概率 STL) vs STL vs TCPA 风险指标的 COLREG 监控(含波浪扰动仿真与硬件试验)
机器人
自主水面艇 ego/他船(物理船模试验台 + 高保真仿真;具体船型未点名)
DOI
未披露
arXiv
2608.02811
引用元数据
0
记录状态
included
质量检查
无自动质量红旗