4 citations · 4 across the 10 of their papers we have counts for
1 paper · 1 filter
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…