State-action pairs reduction for strong cyclic planning via state reachability | IEEE Conference Publication | IEEE Xplore