Alec Banks

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

Simos Gerasimou, Radu Călinescu, Alec Banks · 2014 · 57 citations

Computing, Computer Engineering, Computer Science +17

Assured Reinforcement Learning with Formally Verified Abstract Policies

George L. Mason, Radu Călinescu, Daniel Kudenko⋆ et al. · 2017 · 29 citations · Full text

Computing, Computer Science, Formal Methods +9

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

Yi Dong, Wei Huang, Vibhav Bharti et al. · ACM Transactions on Embedded Computing Systems · 2022 · 24 citations · Full text

Engineering, Autonomous Systems, Systems Engineering +6

Particle Swarm Guidance System for Autonomous Unmanned Aerial Vehicles in an Air Defence Role

Alec Banks, Jonathan Vincent, Keith Phalp · Journal of Navigation · 2007 · 21 citations

Engineering, Aerospace Engineering, Autonomous Systems +17

Natural strategies for search

Alec Banks, Jonathan Vincent, Keith Phalp · Natural Computing · 2008 · 20 citations

Computing, Computer Science, Algorithms +9