JuliaReach/LazySets.jl

Use and document fast vertices_list for 2D zonotopes

schillic opened this issue · 0 comments

schillic commented

The function added in #2288 is currently not used. Tasks:

  • document
  • move to AbstractZonotope.jl and integrate in vertices_list code