Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

Time: Wed 2019-06-05 10.00

Location: Room Q2, Malvinas väg 10, 100 14 Stockholm


Subject area: Electrical Engineering

Doctoral student: Philipp Schillinger , Decision and Control Systems

Opponent: Associate Professor Stephen L. Smith, University of Waterloo, Canada

Supervisor: Professor Dimos Dimarogonas

Page responsible:Webmaster EECS
Belongs to: EECS
Last changed: Apr 15, 2019