Multileader and Role-Based Time-Varying Formation Using GP Inference and Sliding-Mode Control | IEEE Journals & Magazine | IEEE Xplore