Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli. Strategy Repair for Reachability Games (short paper). In Ugo de'Liguoro, Matteo Palazzo, Luca Roversi, editors, Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024. Volume 3811 of CEUR Workshop Proceedings, pages 200-205, CEUR-WS.org, 2024. [doi]
Abstract is missing.