Picture for Mithila Sivakumar

Mithila Sivakumar

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems

Add code
Jan 30, 2024
Viaarxiv icon

GPT-4 and Safety Case Generation: An Exploratory Analysis

Add code
Dec 09, 2023
Viaarxiv icon