随着程序语言的进步，从以前的汇编语言到现今的高度抽象化的程序语言，造就了越来越复杂的软件系统，因此我们亟需要自动化的方法来帮助我们分析这样的软件系统。软件系统其中的一支系统，反应系统（Reactive System），由于必须和环境不断的互动，因此环境的不确定性使得反应系统的行为更加的难以分析与预测。而赛局理论恰巧是探讨两个以上行为决策者的学科，所以直觉上赛局理论很适合拿来做这种系统的分析。

赛局理论自从在二十世纪初开始有系统的研究以来，已经在生物学，经济学，国际关系，政治学，军事理论等许多领域越来越受到重视并且有了很广泛的应用，而且赛局理论也渐渐的被应用在计算器科学中的许多领域，如人工智能（Artificial Intelligence ）、分布式系统（Distributed System）、反应系统（Reactive system）、优化求解（Optimization）和模型检验（Model checking）等问题。在本文中，我们将介绍数种用来分析反应系统的赛局，和它们所适用的情境。

在计算器科学里，我们可以用图形（Graph）的方式来表示一个系统。在图上，节点（vertex）代表系统的状态，边（edge）代表了从一个状态到另一个状态的转换。而用来表示反应系统时，节点可以更进一步的区分为系统的节点以及环境的节点，因此从系统的节点连出去的边就代表了受控制的行为，系统可以藉由选择其中一个边，而明确的知道系统的下一个状态；而从环境的节点连出去的边，代表不受控制的行为，所以在环境做出选择之前，并无法知道下一个系统状态是什么。
...
...