Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

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]

Authors

Mark Wetzlinger

This author has not been identified. Look up 'Mark Wetzlinger' in Google

Niklas Kochdumper

This author has not been identified. Look up 'Niklas Kochdumper' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google