Abdullateef Kareem, B.; Senjari, A. The Influence of Temporal Logic on Finite Automata. AREJ 2023, 28, 230-238.