1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.RO2024
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…
cs.LG2023★ 1 cited
Evaluation Metrics for DNNs Compression
Abanoub Ghobrial, Samuel Budgett, Dieter Balemans +3
There is a lot of ongoing research effort into developing different techniques for neural networks compression. However, the community lacks standardised evaluation metrics, which…