A Games-in-Games Framework for Task Allocation, Path Planning, and Formation Control | IEEE Journals & Magazine | IEEE Xplore