MILP for Control Synthesis with Weighted Signal Temporal Logic

Disha Kamale

Postdoctoral Researcher, Robotics

My research interests include symbolic reasoning, safe, perception-aware decision-making and planning with user preferences.