search

JuliaReach / Reachability.jl

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

Make (hybrid) GLGM06 return Zonotope flowpipe by default #716

Open mforets opened 4 years ago

mforets commented 4 years ago

cf. the bouncing ball model in ReachabilityBenchmarks.