Using deep reinforcement learning to search reachability properties in systems specified through graph transformation. - Mohammad Javad Mehrabi; Vahid Rafe (Soft Comput., 2022)