TY - RPRT TI - FORMULA: FORmation MPC with neUral barrier Learning for safety Assurance AU - Qintong Xie AU - Weishu Zhan AU - Peter Chin PY - 2026 UR - https://arxiv.org/abs/2604.04409 ID - 2604.04409 ER -