Existential and Universal Width of Alternating Finite Automata

Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa. Existential and Universal Width of Alternating Finite Automata. In Henning Bordihn, Nicholas Tran, György Vaszil, editors, Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Volume 13918 of Lecture Notes in Computer Science, pages 51-64, Springer, 2023. [doi]

Abstract

Abstract is missing.