Automatic Verification of Region Stability of Hybrid Systems

Speaker

Sayan Mitra

Date and Location

Friday October 07, 2011 3:00pm
Webb 1100