1. Abbas, H., Winn, A., Fainekos, G. and Julius, A.A. (2014). Functional gradient descent method for metric temporal logic specifications. In American Control Conference (ACC), 2014, 2312-2317. IEEE.
2. S-taliro: A tool for temporal logic falsification for hybrid systems;Annpureddy,2011
3. Transition-time optimization for switched systems;Axelsson;IFAC Proceedings volumes,2005
4. Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications;Bartocci,2018
5. Dokhanchi, A., Yaghoubi, S., Hoxha, B., and Fainekos, G. (2017). Arch-comp17 category report: Preliminary results on the falsification benchmarks. In G. Frehse and M. Althoff (eds.), ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, volume 48 of EPiC Series in Computing, 170–174. EasyChair.