Security-Aware Synthesis Using Delayed-Action Games

Mahmoud Elfar, Yu Wang, Miroslav Pajic

Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling system…