Supermodular games are a well known class of noncooperative games which find significant applications in a variety of models, especially in operations research and economic applications. Supermodular games always have Nash equilibria which are characterized as fixed points of multivalued functions on complete lattices. Abstract interpretation is here applied to set up an approximation framework for Nash equilibria of supermodular games. This is achieved by extending the theory of abstract interpretation in order to cope with approximations of multivalued functions and by providing some methods for abstracting supermodular games, thus obtaining approximate Nash equilibria which are shown to be correct within the abstract interpretation framework.

中文翻译：

---

抽象超模博弈的纳什均衡

超模博弈是众所周知的一类非合作博弈，在各种模型中都有重要的应用，特别是在运筹学和经济应用中。超模博弈总是具有纳什均衡，其特征是完全格上多值函数的不动点。这里应用抽象解释来建立超模博弈的纳什均衡的近似框架。这是通过扩展抽象解释理论以处理多值函数的近似，并通过提供一些抽象超模博弈的方法来实现的，从而获得在抽象解释框架内被证明是正确的近似纳什均衡。