Interactive learning of automata models with human input.
problem Learning finite state automata from noisy, incomplete data.
method Evidence-driven state-merging algorithm with human interaction.
result Human input significantly improves automata learning accuracy.