S. Panjkovic, A. Cimatti, A. Micheli, and S. Tonetta, “Platform-Aware Mission Planning”, ICAPS, vol. 35, no. 1, pp. 93-101, Sep. 2025.