@article{speck-et-al-jair2024, author = {David Speck and Jendrik Seipp and {\'A}lvaro Torralba}, title = {Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions}, journal = {Journal of Artificial Intelligence Research}, year = 2024, }