Learning Temporal Logic Predicates from Data with Statistical Guarantees. - Emi Soroka; Rohan Sinha; Sanjay Lall (L4DC, 2025)