Back to The Julia Language
GSoC 2025

Extending Reachability Analysis with Matrix Zonotopes in ReachabilityAnalysis.jl

Project details

Contributor

alecarraro

Mentors

mforets

Technologies

Not listed in the archive