ML Anthology
Authors
Search
About
Soroka, Emi
1 publications
L4DC
2025
Learning Temporal Logic Predicates from Data with Statistical Guarantees
Emi Soroka
,
Rohan Sinha
,
Sanjay Lall