Mark Wetzlinger

Orcid: 0000-0002-2794-5077

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference.
IEEE Control. Syst. Lett., 2024

2023
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.
IEEE Trans. Autom. Control., December, 2023

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

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.
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.
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.
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.
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.
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.
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.
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.
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.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020


  Loading...