--[Gutierrez等人，2017年]中的激励性示例（图2）--这个类似游戏（如图1所示）没有基于NE-wrt运行的策略，但有基于NE-wrt计算的策略--参考编号：--【古铁雷斯等人，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'：=真，c1'：=假；：：true~>c0'：=真，c1'：=真；目标：：G！（p或q）；模块环境控制s0、s1、s2、s3、s4、p、q初始化：：true~>s0'：=true，s1'：=false，s2'：=false，s3'：=假，s4'：=假的，p'：=虚假，q'：=错误；更新：：s0 and（（ca and！cb）or（！ca and cb））~>s0'：=false，s1'：=true，s2'：=false，s3'：=假，s4'：=虚假，p'：=错误，q'：=假的；：：s0和（ca<->cb）~>s0’：=假，s1’：=false，s2’：=false，s3’：=false，s4’：=真，p’：=假的，q’：=虚假；：：s1和（（ca和（！c1和！c0））或（！ca和（c1和；：：s1和（（cb和（！c1和c0））或（！cb和；：：s1和（（！ca和（！c1和！c0））或（ca和（c1和；：：s2~>s0'：=false，s1'：=false，s2'：=true，s3'：=false，s4'：=false，p'：=true，q'：=假；：：s3~>s0'：=false，s1'：=false，s2'：=假，s3'：=真，s4'：=假的，p'：=虚假，q'：=真实；：：s4~>s0'：=false，s1'：=false，s2'：=false，s3'：=false，s4'：=真，p'：=假，q'：=假的；