Barták, R. 2026. On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning. Proceedings of the AAAI Conference on Artificial Intelligence. 40, 46 (Mar. 2026), 39666–39674. DOI:https://doi.org/10.1609/aaai.v40i46.41319.