Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Neider2020_Article_SynthesizingOptimallyResilient.pdf (Publisher version), 588KB
Neider, D., Weinert, A., & Zimmermann, M. (2020). Synthesizing Optimally Resilient Controllers. Acta Informatica, 57, 195-221. doi:10.1007/s00236-019-00345-7.