You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The algorithm can be made arbitrarily precise based on partitioning the time step and initial states. This is probably not scalable, but it might be a good basis for comparisons.
The text was updated successfully, but these errors were encountered:
mforets
transferred this issue from JuliaReach/Reachability.jl
Jul 7, 2020
See Chutinan, Krogh - Computational techniques for hybrid system verification.
The algorithm can be made arbitrarily precise based on partitioning the time step and initial states. This is probably not scalable, but it might be a good basis for comparisons.
The text was updated successfully, but these errors were encountered: