- Maldonado, Uruguay
- https://github.com/sguadalupetorre
Stars
Reachability analysis for closed-loop control systems in Julia
Computing reachable states of dynamical systems in Julia
Methods to soundly verify deep neural networks
Julia Users Group - Uruguay
Scalable symbolic-numeric set computations in Julia