Edward Kim, Parasara Sridhar Duggirala. Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 184-196, EasyChair, 2020. [doi]
Abstract is missing.