Robot Swarms as Hybrid Systems: Modelling and Verification

Open in new window