PhD Defense: Compositional Synthesis of Safety Controllers

When: Dec. 7, 2012, 14:30-16:00

Where: Waaier, Berkhoff-room

Who: Wouter Kuijper