@misc{indiciaecb93f8e51439,
  title = {A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo},
  author = {Gustavo A. Cardona and Kevin Leahy and Makai Mann and Cristian-Ioan Vasile},
  year = {2023},
  url = {https://arxiv.org/abs/2310.08714},
  note = {Source identifier: 2310.08714}
}