E-LIB Suche - Ergebnisse für: Kochdumper, Niklas

1

Real-Time Capable Decision Making for Autonomous Driving Us..:

, In: 2024 IEEE International Conference on Robotics and Automation (ICRA),

Kochdumper, Niklas ; Bak, Stanley - p. 14169-14176 , 2024

Link: https://doi.org/10.1109/..

2

Falsification using Reachability of Surrogate Koopman Model:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Bak, Stanley ; Bogomolov, Sergiy ; Hekal, Abdelrahman... - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

3

Fully automated verification of linear time-invariant syste..:

Kochdumper, Niklas ; Bak, Stanley
Nonlinear Analysis: Hybrid Systems. 53 (2024) - p. 101491 , 2024

Link: https://doi.org/10.1016/..

4

AutoKoopman: A Toolbox for Automated System Identification ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Lew, Ethan ; Hekal, Abdelrahman ; Potomkin, Kostiantyn... - p. 237-250 , 2023

Link: https://doi.org/10.1007/..

5

Reachability Analysis for Linear Systems with Uncertain Par..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Luo, Ertai ; Kochdumper, Niklas ; Bak, Stanley - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

6

Fully-Automated Verification of Linear Systems Using Reacha..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Wetzlinger, Mark ; Kochdumper, Niklas ; Bak, Stanley. - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

7

Open- and Closed-Loop Neural Network Verification Using Pol..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Kochdumper, Niklas ; Schilling, Christian ; Althoff, Matthias. - p. 16-36 , 2023

Link: https://doi.org/10.1007/..

8

Fully Automated Verification of Linear Systems Using Inner ..:

Wetzlinger, Mark ; Kochdumper, Niklas ; Bak, Stanley.
IEEE Transactions on Automatic Control. 68 (2023) 12 - p. 7771-7786 , 2023

Link: https://doi.org/10.1109/..

9

Constrained polynomial zonotopes:

Kochdumper, Niklas ; Althoff, Matthias
Acta Informatica. 60 (2023) 3 - p. 279-316 , 2023

Link: https://doi.org/10.1007/..

10

Provably Safe Reinforcement Learning via Action Projection ..:

Kochdumper, Niklas ; Krasowski, Hanna ; Wang, Xiao..
IEEE Open Journal of Control Systems. 2 (2023) - p. 79-92 , 2023

Link: https://doi.org/10.1109/..

11

Extensions of Polynomial Zonotopes and their Application to..:

Kochdumper, Niklas , 2022

Link: http://nbn-resolving.de/..

12

Conformant Synthesis for Koopman Operator Linearized Contro..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),

Kochdumper, Niklas ; Bak, Stanley - p. 7327-7332 , 2022

Link: https://doi.org/10.1109/..

13

Formal Safety Net Control Using Backward Reachability Analy..:

Schurmann, Bastian ; Klischat, Moritz ; Kochdumper, Niklas.
IEEE Transactions on Automatic Control. 67 (2022) 11 - p. 5698-5713 , 2022

Link: https://doi.org/10.1109/..

14

Formal synthesis of closed-form sampled-data controllers fo..:

Verdier, Cees Ferdinand ; Kochdumper, Niklas ; Althoff, Matthias.
Automatica. 139 (2022) - p. 110184 , 2022

Link: https://doi.org/10.1016/..

15

Reachability of Koopman Linearized Systems Using Random Fou..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Bak, Stanley ; Bogomolov, Sergiy ; Hencey, Brandon... - p. 490-510 , 2022

Link: https://doi.org/10.1007/..