Mark Wetzlinger

From MaRDI portal
Person:2085158

Available identifiers

zbMath Open wetzlinger.markMaRDI QIDQ2085158

List of research outcomes





PublicationDate of PublicationType
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets2024-02-29Paper
Adaptive parameter tuning for reachability analysis of nonlinear systems2024-02-21Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions2024-02-21Paper
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis2022-10-14Paper
Adaptive Parameter Tuning for Reachability Analysis of Linear SystemsN/APaper
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set PropagationN/APaper

Research outcomes over time

This page was built for person: Mark Wetzlinger

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2085158&oldid=6553928"
Powered by MediaWiki