Hi, thanks for the great work and open-sourcing this code! With 2d i

Hey, great catch! Looks like <a href="https://stackoverflow.com/questions/35664675/in-

finally made this change in <a class="commit-link" data-hovercard-type="commit" data-h

Computation of the area of reachable sets? about nfl_veripy HOT 3 CLOSED

neu-autonomy commented on June 12, 2024

Computation of the area of reachable sets?

from nfl_veripy.

Comments (3)

mfe7 commented on June 12, 2024

Hey, great catch! Looks like others have fallen into this trap too :/.

At first glance this only seems to impacts the case of polytope sets, which we didn't play around with much during development. I'll push a fix and also look a little deeper to double check that it doesn't affect things in other places.

from nfl_veripy.

thomasjlew commented on June 12, 2024

Yes I agree, it's easy to fall in this trap! I think this is only used to compute the reachable set estimation error and compare different approaches, so it should not make a big difference and should not affect your proposed algorithms.

from nfl_veripy.

mfe7 commented on June 12, 2024

finally made this change in 5492b1f.

And for anyone reading this, I recommend checking out Thomas' great recent paper on reachability analysis! https://arxiv.org/pdf/2112.05745.pdf

from nfl_veripy.

Recommend Projects