1

Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems

ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA

Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems

A Methodology for Automating Assurance Case Generation

Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of Beta-VAE

A CPS toolchain for learning-based systems: demo abstract

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots