Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent

Chongyang Shi, Abhishek N. Kulkarni, Hazhar Rahmani +1

This paper studies a language-based opacity enforcement in a two-player, zero-sum game on a graph. In this game, player 1 (P1) wins if it can achieve a secret temporal goal describ…