Synthesis of Optimal Resilient Control Strategies.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonn Kucera, Vojtech Rehk

Browse the full ATVA paper archive.