受强制性开放获取政策约束的文章 - Niklas Kochdumper了解详情
可在其他位置公开访问的文章：26 篇
Sparse polynomial zonotopes: A novel set representation for reachability analysis
N Kochdumper, M Althoff
IEEE Transactions on Automatic Control 66 (9), 4043-4058, 2020
强制性开放获取政策： German Research Foundation, European Commission
Implementation of Taylor models in CORA 2018
M Althoff, D Grebenyuk, N Kochdumper
Proc. of the 5th International Workshop on Applied Verification for …, 2018
强制性开放获取政策： German Research Foundation
Open-and closed-loop neural network verification using polynomial zonotopes
N Kochdumper, C Schilling, M Althoff, S Bak
NASA Formal Methods Symposium, 16-36, 2023
强制性开放获取政策： US Department of Defense, European Commission
Reachset model predictive control for disturbed nonlinear systems
B Schürmann, N Kochdumper, M Althoff
2018 IEEE Conference on Decision and Control (CDC), 3463-3470, 2018
强制性开放获取政策： German Research Foundation
Constrained polynomial zonotopes
N Kochdumper, M Althoff
Acta Informatica 60 (3), 279-316, 2023
强制性开放获取政策： German Research Foundation, European Commission
Provably safe reinforcement learning via action projection using reachability analysis and polynomial zonotopes
N Kochdumper, H Krasowski, X Wang, S Bak, M Althoff
IEEE Open Journal of Control Systems 2, 79-92, 2023
强制性开放获取政策： US Department of Defense, German Research Foundation, European Commission
Reachability analysis for hybrid systems with nonlinear guard sets
N Kochdumper, M Althoff
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
强制性开放获取政策： German Research Foundation
Computing non-convex inner-approximations of reachable sets for nonlinear continuous systems
N Kochdumper, M Althoff
2020 59th IEEE Conference on Decision and Control (CDC), 2130-2137, 2020
强制性开放获取政策： German Research Foundation
Utilizing dependencies to obtain subsets of reachable sets
N Kochdumper, B Schürmann, M Althoff
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
强制性开放获取政策： German Research Foundation
AROC: A toolbox for automated reachset optimal controller synthesis
N Kochdumper, F Gruber, B Schürmann, V Gaßmann, M Klischat, ...
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
强制性开放获取政策： German Research Foundation, European Commission
ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ...
7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020
强制性开放获取政策： US Department of Defense, Austrian Science Fund, European Commission …
Adaptive parameter tuning for reachability analysis of linear systems
M Wetzlinger, N Kochdumper, M Althoff
2020 59th IEEE conference on decision and control (CDC), 5145-5152, 2020
强制性开放获取政策： German Research Foundation
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
EPiC Series in Computing 61, 2019
强制性开放获取政策： US Department of Defense
Establishing reachset conformance for the formal analysis of analog circuits
N Kochdumper, A Tarraf, M Rechmal, M Olbrich, L Hedrich, M Althoff
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 199-204, 2020
强制性开放获取政策： German Research Foundation
ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
强制性开放获取政策： Department of Science & Technology, India
Fully automated verification of linear systems using inner-and outer-approximations of reachable sets
M Wetzlinger, N Kochdumper, S Bak, M Althoff
IEEE Transactions on Automatic Control, 2023
强制性开放获取政策： US Department of Defense, German Research Foundation, European Commission
Verification of collision avoidance for CommonRoad traffic scenarios
N Kochdumper, P Gassert, M Althoff
Proc. of the 8th International Workshop on Applied Verification of …, 2021
强制性开放获取政策： European Commission
Reachability of Koopman linearized systems using random Fourier feature observables and polynomial zonotope refinement
S Bak, S Bogomolov, B Hencey, N Kochdumper, E Lew, K Potomkin
International Conference on Computer Aided Verification, 490-510, 2022
强制性开放获取政策： US Department of Defense
ARCH-COMP18 category report: continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
强制性开放获取政策： Department of Science & Technology, India
Fully-automated verification of linear systems using reachability analysis with support functions
M Wetzlinger, N Kochdumper, S Bak, M Althoff
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
强制性开放获取政策： US Department of Defense, German Research Foundation, European Commission
出版信息和资助信息由计算机程序自动确定