Performance of the RDDL planners | IEEE Conference Publication | IEEE Xplore