@misc{indiciae4c4b2b77b683,
  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},
  url = {https://arxiv.org/abs/1707.09430},
  note = {Source identifier: 1707.09430}
}