Formale Modelle machen Annahmen über Selektion, Entscheidungen und soziale Interaktion überprüfbar. Spieltheorie, agentenbasierte Simulationen und bayesianische Modelle werden genutzt, um aus einer klaren Hypothese konkrete Vorhersagen abzuleiten.