TY - RPRT TI - Synthesis of Optimal Resilient Control Strategies AU - Christel Baier AU - Clemens Dubslaff AU - Ľuboš Korenčiak AU - Antonín Kučera Vojtěch Řehák PY - 2017 UR - https://arxiv.org/abs/1707.03223 ID - 1707.03223 ER -