Approximations, Abstractions and Control Synthesis for Hybrid Systems
Session Slot: T-Th-M06 Area Code: 5c