Picture for João-Vitor Zacchi

João-Vitor Zacchi

A Subjective Logic-based method for runtime confidence updates in safety arguments

Add code
May 21, 2026
Viaarxiv icon