Guaranteed Safe Navigation in Polytopic Free-Space: a Control Barrier Function Approach
Fields of Study & Subjects
Robotic Path Planning Algorithms
Formal Methods in Verification
Advanced Control Systems Optimization
Publication details
- Journal / source
- Lirias
- Publication date
- 24 March 2026
- Language
- EN