Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
Time: Fri 2019-06-14 10.00
Location: Q31, Malvinas väg 6B, KTH, 100 44 Stockholm
Subject area: Electrical Engineering
Doctoral student: Sofie Ahlberg , Decision and Control Systems
Opponent: Biträdande Professor Knut Åkesson
Supervisor: Professor Dimos Dimarogonas