30 results on '"Kochdumper, Niklas"'
Search Results
2. Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes
3. Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
4. Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
5. Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
6. Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
7. Constrained polynomial zonotopes
8. Fully Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
9. Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
10. Conformant Synthesis for Koopman Operator Linearized Control Systems
11. Formal Safety Net Control Using Backward Reachability Analysis
12. Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
13. Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
14. AROC
15. Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
16. Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
17. Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets
18. Reachability analysis for hybrid systems with nonlinear guard sets
19. Utilizing dependencies to obtain subsets of reachable sets
20. Establishing Reachset Conformance for the Formal Analysis of Analog Circuits
21. Reachset Model Predictive Control for Disturbed Nonlinear Systems
22. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
23. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
24. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
25. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
26. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
27. supp1-3256305.mp4
28. Implementation of Taylor models in CORA 2018
29. Verification of Collision Avoidance for CommonRoad Traffic Scenarios
30. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.