Efficient Active Automata Learning via Mutation Testing.

Bernhard K. Aichernig Martin Tappler

Published in: J. Autom. Reason. (2019)

Keyphrases

learning algorithm
learning process
data sets
reinforcement learning
supervised learning
artificial intelligence
e learning
high level
software development
error rate
formal specification