Christen, R., Pommerening, F., Büchner, C. and Helmert, M. 2025. A Formalism for Optimal Search with Dynamic Heuristics. Proceedings of the International Conference on Automated Planning and Scheduling. 35, 1 (Sep. 2025), 30-39. DOI:https://doi.org/10.1609/icaps.v35i1.36098.