JuliaReach/Reachability.jl

Check online intersection with invariant in GLGM06

mforets opened this issue 6 years ago · 1 comments

mforets commented 6 years ago

Check online intersection with invariant in GLGM06

mforets commented 5 years ago

cf. bouncing ball model in ReachabilityBenchmarks
set the option :check_invariant_intersection => true by default