Poster: Towards Constraint-Based Model Repair to Ensure Multiple Mission Objectives in UAV-Enabled MEC Systems for Disaster Response and Rescue.