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