Optimally Resilient Strategies in Pushdown Safety Games

Daniel Neider, Patrick Totzke, Martin Zimmermann 0002. Optimally Resilient Strategies in Pushdown Safety Games. In Javier Esparza, Daniel Král', editors, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic. Volume 170 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.