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), 39666–39674. https://doi.org/10.1609/aaai.v40i46.41319