Gabriele Röger, Silvan Sievers, Michael Katz 0001. Symmetry-Based Task Reduction for Relaxed Reachability Analysis. In Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs T. J. Spaan, editors, Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018. pages 208-217, AAAI Press, 2018. [doi]
Abstract is missing.