Quantitative Planning with Action Deception in Concurrent Stochastic Games

Chongyang Shi, Shuo Han, Jie Fu

We study a class of two-player competitive concurrent stochastic games on graphs with reachability objectives. Specifically, player 1 aims to reach a subset $F_1$ of game states, a…