RTAMT：来自STL的在线稳健性验证
RTAMT: Online Robustness Monitors from STL
摘要：
我们提出了RTAMT，信号时序逻辑（STL）及其接口感知变体（IA-STL）的在线监测库，提供离散和密集时间的逻辑解释。我们还介绍了RTAMT 4 ROS，一个工具，它集成了RTAMT与机器人操作系统（ROS），一个共同的环境开发机器人应用程序。我们在两个机器人案例研究中评估了RTAMT和RTAMT 4 ROS。
英文摘要：
We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of the logic. We also introduce RTAMT4ROS, a tool that integrates RTAMT with Robotic Operating System (ROS), a common environment for developing robotic applications. We evaluate RTAMT and RTAMT4ROS on two robotic case studies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
