An efficient approach to state space management in model checking of complex software systems using machine learning techniques. - Yasrebi, Mohammad; Rafe, Vahid; parvin, Hamid; Nejatian, Samad (Journal of Intelligent & Fuzzy Systems, 2020)