TY  - RPRT
TI  - A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
AU  - Gustavo A. Cardona
AU  - Kevin Leahy
AU  - Makai Mann
AU  - Cristian-Ioan Vasile
PY  - 2023
UR  - https://arxiv.org/abs/2310.08714
ID  - 2310.08714
ER  -