TaLiRo 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 Cited by 5 Authors 2 Fainekos, Georgios E. 1 Annpureddy, Yashwanth 1 Liu, Che 1 Pappas, George J. 1 Sankaranarayanan, Sriram Cited in 1 Serial 1 Theoretical Computer Science Cited in 3 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Citations by Year