@article{Jeppu:2021:ALAE,
  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",
  journal = "arXiv Computing Research Repository",
  month = "December",
  url = "https://arxiv.org/abs/2112.05990",
  volume = "arXiv:2112.05990 [cs.FL]",
}