Check online intersection with invariant in GLGM06 - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Check online intersection with invariant in GLGM06 #626

Open mforets opened 5 years ago

mforets commented 4 years ago

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