Small Test Suites for Active Automata Learning.

Loes Kruger Sebastian Junges Jurriaan Rot

Published in: TACAS (2) (2024)

Keyphrases

learning algorithm
learning process
online learning
test suite
neural network
case study
training set
learning systems
prior knowledge
small number
object oriented
supervised learning
learning tasks
finite state
inductive inference