[1]
S. A. Gruenbacher, “GoTube: Scalable Statistical Verification of Continuous-Depth Models”, AAAI, vol. 36, no. 6, pp. 6755-6764, Jun. 2022.