@article{humanintheloopinteractivepassive,
  title = {Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms},
  author = {Christian A. Hammerschmidt and Radu State and Sicco Verwer},
  year = {2017},
  eprint = {1707.09430},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1707.09430v1},
}