Old Web
English
Sign In
Acemap
>
authorDetail
>
Mark Wetzlinger
Mark Wetzlinger
Technische Universität München
Reachability
Computer science
time step
Linear system
Arch
4
Papers
7
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Adaptive parameter tuning for reachability analysis of nonlinear systems
2021
ICHS | International Conference on Hybrid Systems: computation and control
Mark Wetzlinger
Adrian Kulmburg
Matthias Althoff
Show All
Source
Cite
Save
Citations (0)
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
2020
CDC | Conference on Decision and Control
Mark Wetzlinger
Niklas Kochdumper
Matthias Althoff
Show All
Source
Cite
Save
Citations (3)
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
2020
arXiv: Numerical Analysis
Mark Wetzlinger
Niklas Kochdumper
Matthias Althoff
Show All
Source
Cite
Save
Citations (0)
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
2020
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
Show All
Source
Cite
Save
Citations (4)
1