( en | de | ru )

 

Disambiguation of "Kochdumper, Niklas"

Author of the publication

copydeleteadd this publication to your clipboard
AROC: a toolbox for automated reachset optimal controller synthesis.

, , , , , and . HSCC, page 23:1-23:6. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Niklas Rahlmeyer

Vorstandshaftung zwischen traditionellem deutschen Aktienrecht und kapitalmarktorientierter Corporate Governance. Uni Bremen, (2009)

Niklas Blum

Niklas Labitzke

Maximilian Niklas

Niklas Mirbach

 

Other publications of authors with the same name

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems., , and . CDC, page 5145-5152. IEEE, (2020)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). Technical University of Munich, Germany, (2022)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 14-40. EasyChair, (2019)Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets., , , , and . ISVLSI, page 7-12. IEEE, (2020)Utilizing dependencies to obtain subsets of reachable sets., , and . HSCC, page 1:1-1:10. ACM, (2020)Reachability analysis for hybrid systems with nonlinear guard sets., and . HSCC, page 2:1-2:10. ACM, (2020)Verification of Collision Avoidance for CommonRoad Traffic Scenarios., , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 184-194. EasyChair, (2021)Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes., , , , and . CoRR, (2022)Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis., and . IEEE Trans. Autom. Control., 66 (9): 4043-4058 (2021)Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets., , , and . IEEE Trans. Autom. Control., 68 (12): 7771-7786 (December 2023)