Not registered as user yet

Name:Diego Manzanas Lopez
Affiliation:Vanderbilt University

Contributions

FormaliSE 2019 Author of Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks within the FormaliSE 2019-track