Mark Wetzlinger

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Parameter Tuning

Top Venues

Publications

Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference. IEEE Control. Syst. Lett. 8 (2024)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. IEEE Trans. Autom. Control. 68 (12) (2023)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC (2023)
Mark Wetzlinger, Matthias Althoff
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation. CoRR (2023)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@SAFECOMP (2022)
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2021)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Adaptive parameter tuning for reachability analysis of nonlinear systems. HSCC (2021)
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CDC (2020)
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CoRR (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)