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

Tillhör: Skolan för elektroteknik och datavetenskap (EECS)
Senast ändrad: 2019-05-20