G. Röger, S. Sievers, and M. Katz, “Symmetry-Based Task Reduction for Relaxed Reachability Analysis”, ICAPS, vol. 28, no. 1, pp. 208-217, Jun. 2018.