Approximations for Verification of Hybrid Systems

Speaker

Pavithra Prabhakar

Date and Location

Friday June 08, 2012 3:00pm
Webb 1100