塔里罗

TaLiRo用户指南:TaLiRo(时态逻辑稳健性)是用于计算命题时态逻辑规范相对于离散时间信号的鲁棒性的工具。本文简要介绍了线性时态逻辑和度量时态逻辑,描述了工具箱的使用方法,最后给出了几个例子。本指南参考TaLiRo v0.1版。