Security-Aware Synthesis Using Delayed-Action Games.

Mahmoud Elfar, Yu Wang, Miroslav Pajic

Browse the full CAV paper archive.