SHARP: A Risk-Constrained Transformer with Closed-Form CVaR Safety Masks for Multi-Robot Task Allocation in Human-Shared Warehouses. - Gong, Shengshuo; Shen, Qiujie; Varlamov, Oleg. O. (Mathematics (2227-7390), 2026)