Safer Autonomous Systems

Alexander, Rob (Co-investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/11/18 → 30/04/23

Funding

EUROPEAN COMMISSION: £901,994.82

6 Conference contribution

Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation
Proma, N. M. & Alexander, R., 20 Oct 2023, LADC 2023: 12th Latin-American Symposium on Dependable and Secure Computing. ACM, p. 208-213 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Intersection Focused Situation Coverage-Based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA
Tahir, Z. & Alexander, R., 2 Apr 2022, MESAS 2021: Modelling and Simulation for Autonomous Systems. Springer, Vol. LNCS 13207. p. 191-212 22 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases
Yan, F., Foster, S. D., Habli, I. & Wei, R., 6 Feb 2022, 10th International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 252-263 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

2 Academic

Aleksandr Ovechkin
John Frederick Dawson (Host)
6 Jan 2020 → 5 Jun 2020
Activity: Hosting a visitor › Academic
Hassan Tirmizi
John Frederick Dawson (Host)
6 Jan 2020 → 5 Jul 2020
Activity: Hosting a visitor › Academic