Symbolic Planning for Strong-Cyclic Policies | IEEE Conference Publication | IEEE Xplore