3 papers
cs.LG2025
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
Laura Lützow, Michael Eichelbeck, Mykel J. Kochenderfer +1
Conformal prediction is a popular uncertainty quantification method that augments a base predictor to return sets of predictions with statistically valid coverage guarantees. Howev…
eess.SY2024
Reachset-Conformant System Identification
Laura Lützow, Matthias Althoff
Formal verification techniques play a pivotal role in ensuring the safety of complex cyber-physical systems. To transfer model-based verification results to the real world, we requ…
eess.SY2023
Reachability Analysis of ARMAX Models
Laura Lützow, Matthias Althoff
Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space mode…