Text this: Using deep reinforcement learning to search reachability properties in systems specified through graph transformation.