Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff. Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. In 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020. pages 5145-5152, IEEE, 2020. [doi]
Abstract is missing.