search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Update contributors list #631

Closed mforets closed 5 years ago

schillic commented 5 years ago

See https://github.com/JuliaReach/Reachability.jl/graphs/contributors for the true list. There is some discrepancy.