Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot TeamsJan 4, 2024Paper Multi-robot Control Synthesis FrameworkDisha KamalePostdoctoral Researcher, RoboticsMy research interests include symbolic reasoning, safe, perception-aware decision-making and planning with user preferences.