A user guide for TaLiRo: TaLiRo (TemporAl LogIc RObustness) is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal. This document provides a brief introduction to Linear and Metric Temporal Logics, describes the usage of the toolbox and concludes with several examples. This guide refers to version v0.1 of TaLiRo.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram: S-TaLiRo: a tool for temporal logic falsification for hybrid systems (2011)
- Fainekos, Georgios E.; Pappas, George J.: Robustness of temporal logic specifications for continuous-time signals (2009)