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
Noon–1 p.m.
Computer Studies Building (CSB) 209

Resilient Autonomy via Formal Methods