@misc{indiciae6c4f2b9fcb23,
  title = {Conflict-Aware Active Automata Learning},
  author = {Tiago Ferreira and Léo Henry and Raquel Fernandes da Silva and Alexandra Silva},
  year = {2023},
  doi = {10.4204/eptcs.390.10},
  url = {https://arxiv.org/abs/2310.01003},
  note = {Source identifier: 2310.01003}
}