Author:
Annpureddy Yashwanth,Liu Che,Fainekos Georgios,Sankaranarayanan Sriram
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Annapureddy, Y.S.R., Fainekos, G.: Ant colonies for temporal logic falsification of hybrid systems. In: Proceedings of the 36th Annual Conference of IEEE Industrial Electronics (2010)
2. Lecture Notes in Computer Science;A. Donzé,2010
3. Fainekos, G.E., Pappas, G.J.: A user guide for TaLiRo. Technical report, Dept. of CIS, Univ. of Pennsylvania (2008)
4. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science 410(42), 4262–4291 (2009)
5. Lecture Notes in Computer Science;A. Fehnker,2004
Cited by
279 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献