Inference of Deterministic Finite Automata via Q-Learning

Read full text
Authors: Elaheh Hosseinkhani, Fatemeh Ghorbanigaleshi, Martin Leucker
Cited by: 0

Fields of Study & Subjects

Machine Learning and Algorithms Formal Methods in Verification semigroups and automata theory

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Document type
Preprint