TY  - RPRT
TI  - Robust Asynchronous Planning via Auto-Formalization
AU  - Jiayi Zhang
AU  - Jianing Yin
AU  - Ben Zhou
AU  - Li Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2606.00981
ID  - 2606.00981
ER  -