Approaching Arithmetic Theories with Finite-State Automata.

Christoph Haase

Published in: LATA (2020)

Keyphrases

finite state automata
finite state machines
hybrid automata
learning algorithm
decision trees
model selection