Lazysets.jl

swMATH43901MaRDI QIDQ1350218FDOQ1350218

Author name not available (Why is that?)

Official website: https://juliareach.github.io/LazySets.jl/dev/

Source code repository: https://github.com/JuliaReach/LazySets.jl

Cited In (4)

• Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
• ProbabilityBoundsAnalysis.jl
• TaylorSeries.jl
• TaylorModels.jl

This page was built for software: Lazysets.jl