Convergence-guaranteed distributed Nash equilibrium seeking for second-order multi-agent systems in noncooperative formation games. - Ziran Rong; Xiaoli Wang; Shangning Liu (Syst. Control. Lett., 2026)