Aida Abiad, Anuj Dawar, Octavio Zapata. Descriptive complexity of controllable graphs. In Cristina G. Fernandes, Sergio Rajsbaum, editors, Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023. Volume 223 of Procedia Computer Science, pages 20-27, Elsevier, 2023. [doi]
Abstract is missing.