@misc{indiciae6d16701c46b1,
  title = {Constrained LTL Specification Learning from Examples},
  author = {Changjian Zhang and Parv Kapoor and Ian Dardik and Leyi Cui and Romulo Meira-Goes and David Garlan and Eunsuk Kang},
  year = {2024},
  url = {https://arxiv.org/abs/2412.02905},
  note = {Source identifier: 2412.02905}
}