Login
- Title:
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias
- Journal title:
- IEEE Transactions on Automatic Control
- Year:
- 2023
- Journal volume:
- 68
- Journal issue:
- 12
- Pages contribution:
- 7771-7786
- Fulltext / DOI:
- doi:10.1109/TAC.2023.3292008
BibTeX