Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
2
In this course, I will introduce the basic tools of gametheoretic analysis.
在本课程中，我将会介绍赛局理论的分析的基本方法。
3
Gametheoretic approach is a good way to quantify the decision maker's beliefs on uncertainty.