“Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks” (2024) Global Journal of Computer Science and Technology, 24(D1), pp. 11–19. Available at: https://testing.computerresearch.org/index.php/computer/article/view/102389 (Accessed: 3 February 2026).