Mark Wetzlinger | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Matthias Althoff
25 publications
Stanley Bak
18 publications
Niklas Kochdumper
6 publications

research

∙ 09/19/2022

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

Reachability analysis is a formal method to guarantee safety of dynamica...

0 Mark Wetzlinger, et al. ∙

research

∙ 06/22/2020

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

Despite the possibility to quickly compute reachable sets of large-scale...

0 Mark Wetzlinger, et al. ∙