Mark Wetzlinger

16 papers Journal 6Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation.
IEEE Trans. Autom. Control.
Mark Wetzlinger, Matthias Althoff
2024 J jnl
Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference.
IEEE Control. Syst. Lett.
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
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
2023 J jnl
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation.
CoRR
Mark Wetzlinger, Matthias Althoff
2023 J jnl
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.
IEEE Trans. Autom. Control.
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2023 — conf
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.
HSCC
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2022 — conf
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@SAFECOMP
Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
2022 — conf
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@SAFECOMP
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
2022 J jnl
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets.
CoRR
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
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
2021 — conf
Adaptive parameter tuning for reachability analysis of nonlinear systems.
HSCC
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
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
2020 — conf
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
CDC
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
2020 J jnl
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.
CoRR
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff