swMATH ID: 10178
Software Authors: Fainekos, G.E., Pappas, G.J.
Description: 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.
Homepage: http://www.public.asu.edu/~gfaineko/tools/taliro_user_guide.pdf
Related Software: Breach; S-TaLiRo; StateFlow; Matlab
Cited in: 2 Publications

Citations by Year