ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
Reachability of nonlinear difference ODEs using Bernstein polynomials
- Kim, Edward, and Parasara Sridhar Duggirala. "Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials." EPiC Series in Computing 74 (2020): 184-196.