Next Wednesday May 15, 2024:
Event: FAU MoD Seminar
Organized by: FAU MoD, Research Center for Mathematics of Data and FAU DCN-AvH, Chair for Dynamics, Control, Machine Learning and Numerics – Alexander von Humboldt Professorship 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 art in a variety of domains. In particular, deep reinforcement learning (DRL) has recently been employed to train DNNs that realize control policies for various types of real-world systems. In this work, we present recent advances made for formally verifying complex properties of DRL systems, both from the theoretical perspective, as well as the applicability of our approach to real-world robotic navigation platforms.
The talk will be mostly based on two papers:
Towards Scalable Verification of Deep Reinforcement Learning (FMCAD 2021)
Verifying Learning-Based Robotic Navigation Systems (TACAS 2023)
WHEN
Wed. May 15, 2024 at 11:00H
WHERE
On-site: Room 03.323
Friedrich-Alexander-Universität Erlangen-Nürnberg
Cauerstraße 11, 91058 Erlangen
GPS-Koord. Raum: 49.573764N, 11.030028E
_
See all Seminars at FAU DCN-AvH
Don’t miss out our last news and connect with us!
