FAU MoD seminar: Verifying Deep Reinforcement Learning Systems

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 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

_
 
You might like:
• FAU MoD Lectures
• Seminars at FAU DCN-AvH

Don’t miss out our last news and connect with us!
www.mod.fau.eu/events

LinkedIn | X (Twitter) | Instagram

LinkedIn | Twitter | Instagram