Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment | IEEE Conference Publication | IEEE Xplore