TY - BOOK AU - Hamann,Heiko TI - Swarm robotics: a formal approach SN - 9783032105837 (hb) U1 - 621.382 PY - 2026/// CY - Switzerland PB - Springer Nature KW - Electrical Engineering KW - Communication Engineering KW - Robotics KW - Swarm density KW - Heterogeneous swarms KW - Superlinear scalability KW - Kinematics KW - FEAS N1 - Includes epilogue, bibliographical references and index ER -