Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvoák, M.H. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).