Alec Banks

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Autonomous Systems

Reliability Assessment

Fitted Q Iteration

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
Hierarchical Distribution-aware Testing of Deep Learning. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
Hierarchical Distribution-Aware Testing of Deep Learning. CoRR (2022)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT (2022)
Rob Ashmore, Alec Banks
The Utility of Neural Network Test Coverage Measures. SafeAI@AAAI (2021)
Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR (2021)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) (2021)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) (2021)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR (2021)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR (2020)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP (2020)
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. CoRR (2020)
Alec Banks, Rob Ashmore
Requirements Assurance in Machine Learning. SafeAI@AAAI (2019)
George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks
Assured Reinforcement Learning with Formally Verified Abstract Policies. ICAART (2) (2017)
Radu Calinescu, Simos Gerasimou, Alec Banks
Self-adaptive Software with Decentralised Control Loops. FASE (2015)
Simos Gerasimou, Radu Calinescu, Alec Banks
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS (2014)
Alec Banks, Jonathan Vincent
Hybridisation of particle swarm optimisation with area concentrated search. Int. J. Knowl. Based Intell. Eng. Syst. 14 (2) (2010)
Alec Banks, Neil Bowman, Paul Caseley
A framework of requirements for the design and management of dependable network enabled capability system of systems. SoSE (2010)
Alec Banks, Jonathan Vincent, Keith Phalp
Natural strategies for search. Nat. Comput. 8 (3) (2009)
Alec Banks, Jonathan Vincent, Chukwudi Anyakoha
A review of particle swarm optimization. Part II: hybridisation, combinatorial, multicriteria and constrained optimization, and indicative applications. Nat. Comput. 7 (1) (2008)
Alec Banks, Jonathan Vincent, Chukwudi Anyakoha
A review of particle swarm optimization. Part I: background and development. Nat. Comput. 6 (4) (2007)