Peter Backeman. Synthesizing Understandable Strategies. In Jan Kofron, Tiziana Margaria, Cristina Seceleanu, editors, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Volume 14390 of Lecture Notes in Computer Science, pages 201-204, Springer, 2023. [doi]
Abstract is missing.