Marcelo Forets

Use plot recipes (from RecipesBase)

3

Loading Plots (the library) and this package conflict because of the definitions around [here](https://github.com/AnderGray/ProbabilityBoundsAnalysis.jl/blob/master/src/pbox/plot_recipes.jl#L14). It may be possible to change the dependency to `RecipesBase` (instead of PyPlots) and adds plot...

Review SPZ `remove_redundant_generators` (compact)

2

see `compact` operation in Niklas' thesis (prop 3.1.7) and compare it with our implementation. (if they match, update the docstring with a link if its not there already.)

see last comment here https://github.com/JuliaReach/LazySets.jl/pull/3007

Draft from previous PR (not working): https://github.com/JuliaReach/LazySets.jl/pull/2852 ```julia function plot3d(list::AbstractVector{SN}; backend=default_polyhedra_backend(first(list)), alpha=1.0, color=:blue, colormap=:viridis, colorrange=nothing, interpolate=false, linewidth=1, overdraw=false, shading=true, transparency=true, visible=true) where {N, SN

https://github.com/JuliaOpt/MathProgBase.jl is deprecated in favor of https://github.com/JuliaOpt/MathOptInterface.jl

Volume overapproximation using box enclosure

2

Using an iterative scheme, one can overapproximate the volume of a set `X` by sequentially covering it with boxes (whose volume is easy to compute), discarding the subsets whose intersection...

Overapproximate polynomial zonotope with zonotope

4

in #184 we add the polynomial zonotope type. we would like to add overapproximation with zonotope, this can be an overload of `overapproximate` with target set `Zonotope`. This transformation is...

Sparse polynomial zonotopes

1

- https://arxiv.org/abs/1901.01780 - https://arxiv.org/pdf/1910.08354.pdf

- Include a plot of sparse polynomial zonotope - Add `plot(::SPZ)` in the tests (see https://github.com/JuliaReach/LazySets.jl/pull/2976)