Effective Automated Software Verification: A Multilayered Approach
Facoltà di scienze informaticheOn Learning- and Optimization-based Methods for Risk-Averse Control of Autonomous Systems
Facoltà di scienze biomediche, Facoltà di scienze economiche, Facoltà di scienze informaticheInternational PhD Program: Seminars in Biomedical Neurosciences
Facoltà di scienze biomediche