« All Events
Rupak Majumdar (Max Planck Institute for Software Systems): „Reactive Synthesis for Cyber-Physical Systems“