Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks. GJCST [Internet]. 2024 Aug. 28 [cited 2026 Feb. 3];24(D1):11-9. Available from: https://testing.computerresearch.org/index.php/computer/article/view/102389