Barták, R. On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning. AAAI 2026, 40, 39666-39674.