Kochdumper, Niklas

1. Constrained Polynomial Zonotopes
   2020/05/18 by Niklas Kochdumper, Matthias Althoff, Kochdumper, Niklas +1 · 2 citations
   Mathematics · Computer Science · #Advanced Combinatorial Mathematics #Computational Geometry and Mesh Generation #Geometric and Algebraic Topology
2. Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets
   2023/09/21 by Kochdumper, Niklas, Bak, Stanley · 3 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
   2023/06/07 by Kochdumper, Niklas, Bak, Stanley · 1 citation
   #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering