7 citations · 9 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.RO2023
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
Hardik Parwana, Mitchell Black, Bardh Hoxha +4
Quadratic programs (QP) subject to multiple time-dependent control barrier function (CBF) based constraints have been used to design safety-critical controllers. However, ensuring…
cs.LG2023★ 7 cited
The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning
Alexander Bastounis, Alexander N. Gorban, Anders C. Hansen +5
In this work, we assess the theoretical limitations of determining guaranteed stability and accuracy of neural networks in classification tasks. We consider classical distribution-…