Formal approaches to intelligent swarms | IEEE Conference Publication | IEEE Xplore