JuliaReach/Reachability.jl

Use exact quadratic expansion in discretization of interval matrix

mforets opened this issue · 0 comments

The paper suggests to adapt Lemma 1 to be used in the construction of the discretized operator.

However it is not straightforward; see this comment.