Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights - Stanley Bak; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II, 2024)

Falsification using Reachability of Surrogate Koopman Models - Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 2024)

Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets - Niklas Kochdumper; Stanley Bak (IEEE International Conference on Robotics and Automation, ICRA 2024, Yokohama, Japan, May 13-17, 2024, 2024)

Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles - Niklas Kochdumper; Youran Wang; Johannes Betz; Matthias Althoff (CoRR, 2024)

Constrained polynomial zonotopes - Niklas Kochdumper; Matthias Althoff (Acta Informatica, 2023)

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (IEEE Trans. Autom. Control., 2023)

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization - Ethan Lew; Abdelrahman Hekal; Kostiantyn Potomkin; Niklas Kochdumper; Brandon Hencey; Stanley Bak; Sergiy Bogomolov (Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, 2023)

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, 2023)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes - Ertai Luo; Niklas Kochdumper; Stanley Bak (Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, 2023)

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes - Niklas Kochdumper; Christian Schilling; Matthias Althoff; Stanley Bak (NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, 2023)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis - Niklas Kochdumper; Stanley Bak (CoRR, 2023)

Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets - Niklas Kochdumper; Stanley Bak (CoRR, 2023)

Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems (Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen) - Niklas Kochdumper (Technical University of Munich, Germany, 2022)

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications - Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo Jr. (Autom., 2022)

Formal Safety Net Control Using Backward Reachability Analysis - Bastian Schürmann; Moritz Klischat; Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2022)

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement - Stanley Bak; Sergiy Bogomolov; Brandon Hencey; Niklas Kochdumper; Ethan Lew; Kostiantyn Potomkin (Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, 2022)

Conformant Synthesis for Koopman Operator Linearized Control Systems - Niklas Kochdumper; Stanley Bak (61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, 2022)

Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes - Niklas Kochdumper; Christian Schilling; Matthias Althoff; Stanley Bak (CoRR, 2022)

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (CoRR, 2022)

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes - Niklas Kochdumper; Hanna Krasowski; Xiao Wang; Stanley Bak; Matthias Althoff (CoRR, 2022)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis - Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2021)

Verification of Collision Avoidance for CommonRoad Traffic Scenarios - Niklas Kochdumper; Philipp Gassert; Matthias Althoff (8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021, 2021)

AROC: a toolbox for automated reachset optimal controller synthesis - Niklas Kochdumper; Felix Gruber; Bastian Schürmann; Victor Gaßmann; Moritz Klischat; Matthias Althoff (HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, 2021)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Stanley Bak; Zongnan Bao; Marcelo Forets; Goran Frehse; Daniel Freire; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray; Christian Schilling; Stefan Schupp; et al. (ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020, 2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020, 2020)

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits - Niklas Kochdumper; Ahmad Tarraf; Malgorzata Rechmal; Markus Olbrich; Lars Hedrich; Matthias Althoff (25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020, 2020)

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems - Niklas Kochdumper; Matthias Althoff (59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, 2020)

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems - Mark Wetzlinger; Niklas Kochdumper; Matthias Althoff (59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, 2020)

Utilizing dependencies to obtain subsets of reachable sets - Niklas Kochdumper; Bastian Schürmann; Matthias Althoff (HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, 2020)

Reachability analysis for hybrid systems with nonlinear guard sets - Niklas Kochdumper; Matthias Althoff (HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, 2020)

Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets - Ahmad Tarraf; Lars Hedrich; Niklas Kochdumper; Malgorzata Rechmal-Lesse; Markus Olbrich (2020 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Limassol, Cyprus, July 6-8, 2020, 2020)

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications - Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo Jr. (CoRR, 2020)

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems - Mark Wetzlinger; Niklas Kochdumper; Matthias Althoff (CoRR, 2020)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray; Christian Schilling; Stefan Schupp (ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling (ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, 2019)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis - Niklas Kochdumper; Matthias Althoff (CoRR, 2019)

Utilizing Dependencies to Obtain Subsets of Reachable Sets - Niklas Kochdumper; Bastian Schürmann; Matthias Althoff (CoRR, 2019)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - Matthias Althoff; Stanley Bak; Xin Chen; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray; Christian Schilling; Stefan Schupp (ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, 2018)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - Fabian Immler; Matthias Althoff; Xin Chen; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani (ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, 2018)

Implementation of Taylor models in CORA 2018 - Matthias Althoff; Dmitry Grebenyuk; Niklas Kochdumper (ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, 2018)

Reachset Model Predictive Control for Disturbed Nonlinear Systems - Bastian Schürmann; Niklas Kochdumper; Matthias Althoff (57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, 2018)