--[Gutierrez等人，2017年]中的激励性示例（图1）--参考编号：--【古铁雷斯等人，2017年】朱利安·古铁雷斯、保罗·哈伦斯坦、朱塞佩·佩雷利和迈克尔·伍尔德里奇。--纳什均衡和互模拟不变性。--在CONCUR，LIPIcs第85卷，第17:1–17:16页，德国柏林，2017年。达格斯图尔宫。模块alice控制ca初始化：：true~>ca'：=true；：：true~>ca'：=false；更新：：true~>ca'：=true；：：true~>ca'：=false；目标：：F p；模块bob控制cb初始化：：true~>cb'：=false；：：true~>cb'：=true；更新：：true~>cb'：=true；：：true~>cb'：=false；目标：：F q；查理控制模块c0、c1初始化：：true~>c0'：=false，c1'：=false；：：true~>c0'：=false，c1'：=true；：：true~>c0'：=真，c1'：=假；：：true~>c0'：=真，c1'：=真；更新：：true~>c0'：=false，c1'：=false；：：true~>c0'：=false，c1'：=true；：：true ~>c0'：=true，c1'：=false；：：true~>c0'：=真，c1'：=真；目标：：G！（p或q）；模块环境控制s0、s1、s11、s2、s3、s4、p、q初始化：：true~>s0’：=true，s1’：=false，s11’：=false，s2’：=false，s3’：=false，s4’：=假，p'：=fase，q'：=假；更新：：s0 and（（ca and！cb and（（！c1 and！c0）or（！c1andc0））或（！ca and cb and；：：s0 and（（！ca and cb and（！c1 and！c0）or（！c1andc0））or（ca and！cb and；：：s0和（ca<->cb）~>s0’：=false，s1'：=fase，s11'：=false，s2'：=false，s3'：=false，s4'：=true，p'：=假，q'：=假的；：：s1和（（ca和（！c1和！c0））或（！ca和（c1和；：：s1和（（cb和（！c1和c0））或（！cb和；：：s1和（（！ca和（！c1和！c0））或（ca和（c1和；：：s11和（（ca和（！c1和！c0））或（！ca和（c1和！c0））~>s0'：=false，s11'：=false，s2'：=true，s3'：=false，s4'：=false，p'：=true，q'：=false；：：s11和（（cb和（！c1和c0））或（！cb和；：：s11和（！ca和（！c1和！c0））或（ca和（c1和；：：s2~>s0'：=false，s1'：=false，s11'：=假，s2'：=true，s3'：=假，s4'：=false，p'：=true，q'：=false；：：s3~>s0'：=假，s1'：=假的，s11'：=虚假，s2'：=错误，s3'：=真，s4'：=虚，p'：=伪，q'：=真假；：：s4~>s0'：=false，s1'：=false，s11'：=假，s2'：=虚假，s3'：=假的，s4'：=真，p'：=虚，q'：=伪；