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.

中文翻译：

---

RTAMT：来自 STL 的在线稳健性监视器

我们展示了 RTAMT，一个用于信号时间逻辑 (STL) 及其接口感知变体 (IA-STL) 的在线监控库，提供逻辑的离散和密集时间解释。我们还介绍了 RTAMT4ROS，这是一种将 RTAMT 与机器人操作系统 (ROS) 集成在一起的工具，这是一种用于开发机器人应用程序的通用环境。我们在两个机器人案例研究中评估了 RTAMT 和 RTAMT4ROS。