Skip to main content

News & Events

Department of Electrical and Computer Engineering Colloquia

 

Resilient Autonomy via Formal Methods

Dr. Derya Aksaray

Friday, April 14, 2017
12:00 p.m.–1:00 p.m.
Computer Studies Building (CSB) 209

Resilient Autonomy via Formal Methods