@article{WetzlingerKochdumperBaketal.2023, author = {Wetzlinger, Mark and Kochdumper, Niklas and Bak, Stanley and Althoff, Matthias}, title = {Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets}, volume = {68}, journal = {IEEE Transactions on Automatic Control}, number = {12}, publisher = {IEEE}, address = {New York}, issn = {1558-2523}, doi = {https://doi.org/10.1109/TAC.2023.3292008}, pages = {7771 -- 7786}, year = {2023}, language = {en} } @inproceedings{WetzlingerKochdumperBaketal.2023, author = {Wetzlinger, Mark and Kochdumper, Niklas and Bak, Stanley and Althoff, Matthias}, title = {Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions}, pages = {5}, booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week}, publisher = {ACM}, address = {New York}, isbn = {979-8-4007-0033-0}, doi = {https://doi.org/10.1145/3575870.3587121}, year = {2023}, language = {en} } @inproceedings{WetzlingerKochdumperAlthoff2021, author = {Wetzlinger, Mark and Kochdumper, Niklas and Althoff, Matthias}, title = {Adaptive Parameter Tuning for Reachability Analysis of Linear Systems}, booktitle = {2020 59th IEEE Conference on Decision and Control (CDC)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-7447-1}, doi = {https://doi.org/10.1109/CDC42340.2020.9304431}, pages = {5145 -- 5152}, year = {2021}, language = {en} } @inproceedings{AlthoffBakBaoetal.2020, author = {Althoff, Matthias and Bak, Stanley and Bao, Zongnan and Forets, Marcelo and Frehse, Goran and Freire, Daniel and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan and Wetzlinger, Mark}, title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics}, volume = {74}, booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/7dt2}, pages = {16 -- 48}, year = {2020}, language = {en} }