2 papers
cs.AR2025
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.RO2025
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…