Mathematics of Information Seminar

Tuesday February 26, 2008 4:00 PM

Formal Verification of Hybrid Systems

Location: Moore 239
"Formal Verification of Hybrid Systems," Sayan Mitra, postdoctoral scholar, Center for the Mathematics of Information, Caltech.
Series Center for the Mathematics of Information Seminar Series

Contact: Maria Lopez at 626.395.3034 mlopez@cs.caltech.edu