Rob Alexander

26 papers B 4Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment.
SAFECOMP (Workshops)
Nawshin Mannan Proma, Victoria J. Hodge, Rob Alexander
2025 J jnl
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment.
CoRR
Nawshin Mannan Proma, Victoria J. Hodge, Rob Alexander
2023 — conf
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation.
LADC
Nawshin Mannan Proma, Rob Alexander
2022 J jnl
Verified synthesis of optimal safety controllers for human-robot collaboration.
Sci. Comput. Program.
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2021 J jnl
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics.
Frontiers Robotics AI
James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
2021 J jnl
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review.
CoRR
Zaid Tahir, Rob Alexander
2021 J jnl
Deep reinforcement learning for drone navigation using sensor data.
Neural Comput. Appl.
Victoria J. Hodge, Richard Hawkins, Rob Alexander
2021 — conf
Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA.
MESAS
Zaid Tahir, Rob Alexander
2021 J jnl
Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA.
CoRR
Zaid Tahir, Rob Alexander
2021 — conf
Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs).
MobiHealth
Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli
2021 — conf
Runtime Decision Making Under Uncertainty in Autonomous Vehicles.
SafeAI@AAAI
Vibhu Gautam, Youcef Gheraibia, Rob Alexander, Richard Hawkins
2021 B conf
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems.
SAFECOMP
Benjamin Lesage, Rob Alexander
2021 J jnl
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration.
CoRR
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2020 — conf
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review.
AITest
Zaid Tahir, Rob Alexander
2020 J jnl
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models.
CoRR
Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton
2019 J jnl
Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study.
CoRR
Heather Hawkins, Rob Alexander
2018 J jnl
Evaluation of Mutation Testing in a Nuclear Industry Case Study.
IEEE Trans. Reliab.
Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo
2017 B conf
Evolving test environments to identify faults in swarm robotics algorithms.
CEC
Hao Wei, Jon Timmis, Rob Alexander
2016 — conf
A Systematic Approach for Designing Mutation Operators for MDE Languages.
MoDeVVa@MoDELS
Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander
2016 — conf
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution.
DSN Workshops
Xueyi Zou, Rob Alexander, John A. McDermid
2016 J jnl
Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search.
J. Aerosp. Inf. Syst.
Xueyi Zou, Rob Alexander, John A. McDermid
2015 — conf
Semantic Mutation Testing for Multi-agent Systems.
EMAS@AAMAS
Zhan Huang, Rob Alexander
2014 J jnl
Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment.
Reliab. Eng. Syst. Saf.
Andrew Rae, Rob Alexander, John A. McDermid
2014 — conf
Mutation Testing for Jason Agents.
EMAS@AAMAS
Zhan Huang, Rob Alexander, John A. Clark
2014 B conf
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search.
SAFECOMP
Xueyi Zou, Rob Alexander, John A. McDermid
2013 B conf
Testing Autonomous Robot Control Software Using Procedural Content Generation.
SAFECOMP
James Arnold, Rob Alexander