Data-driven Recurrent Set Learning For Non-termination Analysis | IEEE Conference Publication | IEEE Xplore