On the Convergence of Multi-robot Constrained Navigation: A Parametric Control Lyapunov Function Approach