An efficient approach to state space management in model checking of complex software systems using machine learning techniques. - Mohammad Yasrebi; Vahid Rafe; Hamid Parvin; Samad Nejatian (J. Intell. Fuzzy Syst., 2020)