Mining-guided state justification with partitioned navigation tracks | IEEE Conference Publication | IEEE Xplore