Keyword:Reachable Set Computation

Publications
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials Edward Kim and Parasara Sridhar Duggirala In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)