Formation Control of Nonholonomic Agents by Discrete-Valued Inputs and Multi-Step Movements. - Shinsaku Izumi; Takeru Nakayama (IEEE Control. Syst. Lett., 2025)