79 citations · 216 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.RO2023★ 1 cited
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets
Niklas Kochdumper, Stanley Bak
Despite large advances in recent years, real-time capable motion planning for autonomous road vehicles remains a huge challenge. In this work, we present a decision module that is…
cs.LO2023
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
Niklas Kochdumper, Stanley Bak
While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the…