JuliaReach / Reachability.jl

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

Last set in TMJets is ignored #568

Open schillic opened 5 years ago

schillic commented 5 years ago

What happens for the set at position N?

Originally posted by @schillic in https://github.com/JuliaReach/Reachability.jl/pull/537