University of California - Berkeley
Harvard University
Robust and Interpretable Learning for Modern Healthcare: From Theory to Practice
Carnegie Mellon University
Formal Verification of Distributed Aircraft Controllers
