Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications

Tid: Fr 2020-10-16 kl 15.00

Plats: zoom link for online defence. If you lack a computer or computer skills, please contact kallej@kth.se for information. (English)

Ämnesområde: Elektro- och systemteknik

Respondent: Lars Lindemann , Reglerteknik, Division of Decision and Control Systems

Opponent: Professor Antoine Girard, Centre national de la recherche scientifique (CNRS)

Handledare: Dimos V. Dimarogonas, Reglerteknik, Centrum för autonoma system, CAS, ACCESS Linnaeus Centre

Exportera till kalender