“Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks”, GJCST, vol. 24, no. D1, pp. 11–19, Aug. 2024, Accessed: Feb. 03, 2026. [Online]. Available: https://testing.computerresearch.org/index.php/computer/article/view/102389