1. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
2. Abbas H. Hoxha B. Fainekos G.et al. (2014).Conformance testing as falsification for cyber‐physical systems.arXiv preprintarXiv:1401.5200https://arxiv.org/abs/1401.5200.
3. Threat of adversarial attacks on deep learning in computer vision: a survey;Akhtar N.;IEEE Access,2018
4. Discrete abstractions of hybrid systems;Alur R.;Proceedings of the IEEE,2000