TY  - RPRT
TI  - Learning Temporal Logic Predicates from Data with Statistical Guarantees
AU  - Emi Soroka
AU  - Rohan Sinha
AU  - Sanjay Lall
PY  - 2025
UR  - https://arxiv.org/abs/2406.10449
ID  - 2406.10449
ER  -