Radoslav Ivanov

• Software Verification and Formal Methods for ML-Enabled Autonomous Systems