R. Barták, “On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning”, AAAI, vol. 40, no. 46, pp. 39666–39674, Mar. 2026.