@misc{indiciaefaf3a513efd5,
  title = {Learning Branching-Time Properties in CTL and ATL via Constraint Solving},
  author = {Benjamin Bordais and Daniel Neider and Rajarshi Roy},
  year = {2024},
  url = {https://arxiv.org/abs/2406.19890},
  note = {Source identifier: 2406.19890}
}