@misc{indiciae4d0af645e0f8,
  title = {Active Learning of Abstract System Models from Traces using Model Checking [Extended]},
  author = {Natasha Yogananda Jeppu and Tom Melham and Daniel Kroening},
  year = {2021},
  url = {https://arxiv.org/abs/2112.05990},
  note = {Source identifier: 2112.05990}
}