They provide useful knowledge about possible mechanisms or situational consequences to inform negotiators about alternatives and outcomes and to spur creativity infinding solutions.

Formal models for international negotiations are used to combine the preferences of the parties into optimal outcomes; possible values and outcomes are prioritized and quantified and then analyzed—often with the use of computer programs—to find where joint best payoffs may lie.