@misc{indiciaecc6ef4e3fcea,
  title = {Learning Temporal Properties is NP-hard},
  author = {Benjamin Bordais and Daniel Neider and Rajarshi Roy},
  year = {2023},
  url = {https://arxiv.org/abs/2312.11403},
  note = {Source identifier: 2312.11403}
}