Login
- Titel:
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias
- Zeitschriftentitel:
- IEEE Transactions on Automatic Control
- Jahr:
- 2023
- Band / Volume:
- 68
- Heft / Issue:
- 12
- Seitenangaben Beitrag:
- 7771-7786
- Volltext / DOI:
- doi:10.1109/TAC.2023.3292008
BibTeX