1. Yashwanth S. R. Annapureddy and Georgios E. Fainekos. 2010. Ant Colonies for Temporal Logic Falsification of Hybrid Systems . In Proc. of the 36th Annual Conference of IEEE Industrial Electronics. 91–96 . Yashwanth S. R. Annapureddy and Georgios E. Fainekos. 2010. Ant Colonies for Temporal Logic Falsification of Hybrid Systems. In Proc. of the 36th Annual Conference of IEEE Industrial Electronics. 91–96.
2. Eugene Asarin and Aldric Degorre. 2009. Volume and Entropy of Regular Timed Languages: Analytic Approach. In Formal Modeling and Analysis of Timed Systems Joël Ouaknineand Frits W. Vaandrager (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 13–27. Eugene Asarin and Aldric Degorre. 2009. Volume and Entropy of Regular Timed Languages: Analytic Approach. In Formal Modeling and Analysis of Timed Systems Joël Ouaknineand Frits W. Vaandrager (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 13–27.
3. N. Basnet and H. Abbas . 2020. Logical Signal Processing: A Fourier Analysis of Temporal Logic . In Proceedings of the 20th International Conference on Runtime Verification (RV). 359–382 . N. Basnet and H. Abbas. 2020. Logical Signal Processing: A Fourier Analysis of Temporal Logic. In Proceedings of the 20th International Conference on Runtime Verification (RV). 359–382.
4. Davide G. Cavezza , Dalal Alrajeh , and András Gyorgy . 2021. A Weakness Measure for GR(1) Formulae. Formal Aspects of Computing 33 ( 2021 ). Davide G. Cavezza, Dalal Alrajeh, and András Gyorgy. 2021. A Weakness Measure for GR(1) Formulae. Formal Aspects of Computing 33 (2021).
5. Alexandre Donzé , Thomas Ferrère , and Oded Maler . 2013. Efficient Robust Monitoring for STL . In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 264–279. Alexandre Donzé, Thomas Ferrère, and Oded Maler. 2013. Efficient Robust Monitoring for STL. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 264–279.