Not registered as user yet

Name: Diego Manzanas Lopez

Affiliation: Vanderbilt University

Contributions

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