Marcelo Forets
Marcelo Forets
Isn't this a problem with dispatch? Since `ρ([1.0, 0.0], Intersection(H, P))
Since we now have a uniform sampler that applies to `BallInf`, I've edited the title of this issue to indicate that the purpose is to sample using a Sobol low-discrepancy...
follow up in [PolynomialZonotopes.jl](https://github.com/JuliaReach/PolynomialZonotopes.jl/issues/1).
Partially? We still need to handle `DensePolynomialZonotiope` somehow.
since it's not super cheap i'd rather do it on demand or on certain operations
Hi @yuzhou42, thanks for your interest in our work. We don't have an out-of-the-box user/solver interface for the type of problem that you want to solve: some manual work has...
> . But unfortunately, I couldn't add NeuralNetworkAnalysis successfully to run it. just in case: the package is not registered yet so you need to do ```julia ] add https://github.com/JuliaReach/NeuralNetworkAnalysis.jl.git...
> With multithreading, the calculation time for the same setup is about 126s on my side. Decreasing the number of splits to 10 also speeds up the time to 12s...
> May I know how I can add constraints on the states? Maybe I misunderstood your question. Do you have an example of the type of constraints that you want...