Alec Banks

According to our database1, Alec Banks authored at least 20 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Hierarchical Distribution-aware Testing of Deep Learning.
ACM Trans. Softw. Eng. Methodol., February, 2024

2023
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.
ACM Trans. Embed. Comput. Syst., 2023

2022
Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability.
Proceedings of the Intelligent Decision Technologies, 2022

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

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios.
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.
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.
Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

The Utility of Neural Network Test Coverage Measures.
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.
CoRR, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.
Proceedings of the Computer Safety, Reliability, and Security, 2020

2019
Requirements Assurance in Machine Learning.
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.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2015
Self-adaptive Software with Decentralised Control Loops.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.
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.
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.
Proceedings of the 5th International Conference on System of Systems Engineering, 2010

2009
Natural strategies for search.
Nat. Comput., 2009

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

2007
A review of particle swarm optimization. Part I: background and development.
Nat. Comput., 2007


  Loading...