Work

SafeCert: Towards Automated Safety-Case Generation for Risk Assessment in Small Uncrewed Aerial Vehicles