Learning residual alternating automata

Sebastian Berndt, Maciej Liskiewicz, Matthias Lutter, RĂ¼diger Reischuk. Learning residual alternating automata. Inf. Comput., 289(Part):104981, 2022. [doi]

Abstract

Abstract is missing.