Jirí Fejlek, Stefan Ratschan. Computing Funnels Using Numerical Optimization Based Falsifiers. In 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022. pages 4318-4324, IEEE, 2022. [doi]
Abstract is missing.