Samuel, S., Mallik, K., Schmuck, A.-K., & Neider, D. (2020). Resilient Abstraction-Based Controller Design. In 59th IEEE Conference on Decision and Control (pp. 2123-2129). Piscataway, NJ: IEEE.