Talks and presentations

Software Verification and Deep Neural Network Verification

April 03, 2024

Invited Tutorial of Guest lecture in UTS, Virtual, 2024