( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 16-48. EasyChair, (2020)

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.

Niklas Rahlmeyer

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

Jürgen Niklas

Heinrich Niklas

Herbert Niklas

Niklas Andermahr

 

Другие публикации лиц с тем же именем

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)Adaptive Parameter Tuning for Reachability Analysis of Linear Systems., , и . CDC, стр. 5145-5152. IEEE, (2020)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 14-40. EasyChair, (2019)Utilizing dependencies to obtain subsets of reachable sets., , и . HSCC, стр. 1:1-1:10. ACM, (2020)Reachability analysis for hybrid systems with nonlinear guard sets., и . HSCC, стр. 2:1-2:10. ACM, (2020)Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets., , , , и . ISVLSI, стр. 7-12. IEEE, (2020)Verification of Collision Avoidance for CommonRoad Traffic Scenarios., , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 184-194. EasyChair, (2021)Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets., , , и . CoRR, (2022)AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization., , , , , , и . ATVA, том 14216 из Lecture Notes in Computer Science, стр. 237-250. Springer, (2023)Falsification using Reachability of Surrogate Koopman Models., , , , , , и . HSCC, стр. 27:1-27:13. ACM, (2024)