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
Tid: Fr 2019-06-14 kl 10.00
Plats: Q31, Malvinas väg 6B, KTH, 100 44 Stockholm
Ämnesområde: Elektro- och systemteknik
Licentiand: Sofie Ahlberg , Reglerteknik
Granskare: Biträdande Professor Knut Åkesson
Huvudhandledare: Professor Dimos Dimarogonas