Mark Wetzlinger

According to our database, Mark Wetzlinger authored at least 8 papers between 2020 and 2023.

Collaborative distances:

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

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

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