Learning Optimal Signal Temporal Logic Decision Trees for ClassificationJan 2, 2024 TliPaper Learning STL formulaeDisha KamalePostdoctoral Researcher, RoboticsMy research interests include symbolic reasoning, safe, perception-aware decision-making and planning with user preferences.