Effective Automated Software Verification: A Multilayered Approach
Faculty of InformaticsOn Learning- and Optimization-based Methods for Risk-Averse Control of Autonomous Systems
Faculty of Biomedical Sciences, Faculty of Economics, Faculty of InformaticsInternational PhD Program: Seminars in Biomedical Neurosciences
Faculty of Biomedical Sciences