Formalization and Verification of Group Behavior Interactions | IEEE Journals & Magazine | IEEE Xplore