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