Reachability of agents with double integrator dynamics in cyclic pursuit | IEEE Conference Publication | IEEE Xplore