Multiple spacecraft formation reconfiguration planning with nonconvex collision avoidance constraints | IEEE Conference Publication | IEEE Xplore