Next Wednesday May 15, 2024: FAU MoD seminar Organized by: FAU MoD, Research Center for Mathematics of Data at FAU, Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany) Title: Verifying Deep Reinforcement Learning Systems Speaker: Guy Amir Affiliation: The Hebrew University of Jerusalem Abstract. Deep neural networks (DNNs) have gained significant popularity in recent years, becoming the state of the …