TY - RPRT TI - VERA: Verifiable Feasibility Representations with Counterfactual Credit for Constrained Multi-Agent Control AU - Bo Yin AU - Dongbo Li AU - Hongkai Chen AU - Jie Liu AU - Guoliang Xing PY - 2026 UR - https://arxiv.org/abs/2609.38889 ID - 2609.38889 ER -