Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions

Titel:: Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias
Seitenangaben Beitrag:: 1-12
Kongress- / Buchtitel:: Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Verlag / Institution:: ACM
Publikationsdatum:: 09.05.2023
Jahr:: 2023
Volltext / DOI:: doi:10.1145/3575870.3587121
BibTeX

Vorkommen: