Pries, L., Verhagen, J., Arrizabalaga, J., Tumova, J., Ryll, M., & Manchester, Z. (2026). Fast and Robust Temporal Logic Planning via ADMM-based Trajectory Optimization. https://omanscience.com/ar/articles/fast-and-robust-temporal-logic-planning-via-admm-based-trajectory-optimization