Mark Wetzlinger

According to our database, Mark Wetzlinger authored at least 13 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference.

Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff

IEEE Control. Syst. Lett., 2024

2023

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.

Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff

IEEE Trans. Autom. Control., December, 2023

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation.

Mark Wetzlinger, Matthias Althoff

CoRR, 2023

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.

Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Adaptive parameter tuning for reachability analysis of nonlinear systems.

Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

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

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.

Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020