This PhD is funded by the School of EEE&CS in support of the EPSRC "Robotics and AI for Nuclear" Hub and the successful student will be expected to liaise with, and attend meetings of, researchers on this and other relevant Hubs.
Jonathan M. Aitken, Affan Shaukat, Elisa Cucco, Louise A. Dennis, Sandor M. Veres, Yang Gao, Michael Fisher, Jeffrey A. Kuo, Thomas Robinson, Paul E. Mort. Autonomous Nuclear Waste Management. IEEE Intelligent Systems, 2017 (in press).
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CAV (1) 2017: 3-29