1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AR2025★ 1 cited
Review of Machine Learning for Micro-Electronic Design Verification
Christopher Bennett, Kerstin Eder
Microelectronic design verification remains a critical bottleneck in device development, traditionally mitigated by expanding verification teams and computational resources. Since…
cs.RO2024★ 1 cited
Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation
Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett +5
The emergent behaviour of autonomous robotic swarms poses a significant challenge to their safety assurance. Assurance tasks encompass adherence to standards, certification process…