Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2018/9701/ (Publisher version)
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Neider, D., Weinert, A., & Zimmermann, M. (2018). Synthesizing Optimally Resilient Controllers. In D. Ghica, & A. Jung (Eds.), Computer Science Logic 2018 (pp. 1-17). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CSL.2018.34.