38 citations · 97 across the 7 of their papers we have counts for
7 papers
Causal Explanations from the Geometric Properties of ReLU Neural Networks
Hector Woods, Philippa Ryan, Rob Alexander
Neural networks have proved an effective means of learning control policies for autonomous systems, but these learned policies are difficult to understand due to the black-box natu…
Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA
Zaid Tahir, Rob Alexander
Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors in the autonomous driving software can lead to huge losses. Statistically, road…
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Mario Gleirscher, Radu Calinescu, James Douthwaite +5
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturi…
Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review
Zaid Tahir, Rob Alexander
Self-driving Autonomous Vehicles (SAVs) are gaining more interest each passing day by the industry as well as the general public. Tech and automobile companies are investing huge a…
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models
Ibrahim Habli, Rob Alexander, Richard Hawkins +4
Simulation models have been informing the COVID-19 policy-making process. These models, therefore, have significant influence on risk of societal harms. But how clearly are the und…
Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study
Heather Hawkins, Rob Alexander
It is hard to test autonomous robot (AR) software because of the range and diversity of external situations (terrain, obstacles, humans, peer robots) that AR must deal with. Common…
Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems
Chris Leong, Tim Kelly, Rob Alexander
In system development, epistemic uncertainty is an ever-present possibility when reasoning about the causal factors during hazard analysis. Such uncertainty is common when complica…