Patrick Musau
Identifiers
No identifiers captured yet.
Papers (2)
- Verification for Machine Learning, Autonomy, and Neural Networks Survey cs.AI · 2018 · author #2
- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems cs.SY · 2018 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Diego Manzanas Lopez 2 shared papers
- Taylor T. Johnson 2 shared papers
- Weiming Xiang 2 shared papers
- Ayana A. Wild 1 shared papers
- Joel Rosenfeld 1 shared papers
- Nathaniel Hamilton 1 shared papers
- Xiaodong Yang 1 shared papers