Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems
Tid: On 2019-06-05 kl 10.00
Plats: Room Q2, Malvinas väg 10, 100 14 Stockholm
Ämnesområde: Electrical Engineering
Respondent: Philipp Schillinger , Decision and Control Systems
Opponent: Associate Professor Stephen L. Smith, University of Waterloo, Canada
Handledare: Professor Dimos Dimarogonas
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-248429