Alec Banks

According to our database, Alec Banks authored at least 22 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Hierarchical Distribution-aware Testing of Deep Learning.

Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang

ACM Trans. Softw. Eng. Methodol., February, 2024

Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy.

Ayodeji Opeyemi Abioye, Aleksandra Landowska, William Hunt, Horia A. Maior, Sarvapali D. Ramchurn, Mohammad Naiseh, Alec Banks, Mohammad Divband Soorati

CoRR, 2024

Removing the Big Red Button: Uncrewed Ground Vehicles in Complex Military Environments.

Alec Banks, Prathyush P. Menon, Steve Austen

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.

Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang

ACM Trans. Embed. Comput. Syst., 2023

2022

Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the Intelligent Decision Technologies, 2022

2021

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.

Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang

CoRR, 2021

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.

Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

The Utility of Neural Network Test Coverage Measures.

Rob Ashmore, Alec Banks

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

2020

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang

CoRR, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.

Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang

Proceedings of the Computer Safety, Reliability, and Security, 2020

2019

Requirements Assurance in Machine Learning.

Alec Banks, Rob Ashmore

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI-19), 2019

2017

Assured Reinforcement Learning with Formally Verified Abstract Policies.

George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2015

Self-adaptive Software with Decentralised Control Loops.

Radu Calinescu, Simos Gerasimou, Alec Banks

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.

Simos Gerasimou, Radu Calinescu, Alec Banks

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

2010

Hybridisation of particle swarm optimisation with area concentrated search.

Alec Banks, Jonathan Vincent

Int. J. Knowl. Based Intell. Eng. Syst., 2010

A framework of requirements for the design and management of dependable network enabled capability system of systems.

Alec Banks, Neil Bowman, Paul Caseley

Proceedings of the 5th International Conference on System of Systems Engineering, 2010

2009

Natural strategies for search.

Alec Banks, Jonathan Vincent, Keith Phalp

Nat. Comput., 2009

2008

A review of particle swarm optimization. Part II: hybridisation, combinatorial, multicriteria and constrained optimization, and indicative applications.

Alec Banks, Jonathan Vincent, Chukwudi Anyakoha

Nat. Comput., 2008

2007

A review of particle swarm optimization. Part I: background and development.

Alec Banks, Jonathan Vincent, Chukwudi Anyakoha

Nat. Comput., 2007