Formalization and Verification of Group Behavior Interactions.

Can Wang Longbing Cao Chi-Hung Chi

Published in: IEEE Trans. Syst. Man Cybern. Syst. (2015)

Keyphrases

animal behavior
behavioral patterns
model checking
group activities
real time
information retrieval
formal model
group membership
data mining
decision trees
knowledge representation
face verification
formal analysis
group learning