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

阅 读

Star 0
名称
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
首页
https://yiyibooks.cn/arxiv/2511.00934v1/index.html
原始地址
https://arxiv.org/abs/2511.00934
描述
现实世界的机器人系统必须在存在不确定性的情况下遵守安全要求。为了定义和衡量需求遵守情况，信号时态逻辑 (STL) 提供了一种数学上严谨且富有表现力的语言。然而，标准 STL 无法解释不确定性 ...