Learning Temporal Logic Predicates from Data with Statistical Guarantees

Emi Soroka, Rohan Sinha, Sanjay Lall

Temporal logic rules are often used in control and robotics to provide structured, human-interpretable descriptions of trajectory data. These rules have numerous applications inclu…