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