PhD Defense: Compositional Synthesis of Safety Controllers
When: Dec. 7, 2012, 14:30-16:00
Where: Waaier, Berkhoff-room
Who: Wouter Kuijper
PhD Defense: Compositional Synthesis of Safety ControllersWhen: Dec. 7, 2012, 14:30-16:00 Where: Waaier, Berkhoff-room Who: Wouter Kuijper |