Date: Wed. 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

_

 
You might like:
FAU MoD Lectures
Seminars at FAU DCN-AvH
• FAU MoD Lecture: Using system knowledge for improved sample efficiency in data-driven modeling and control of complex technical systems by Prof. Dr. Sebastian Peitz
• FAU MoD Lecture: Image Reconstruction – The Dialectic of Modelling and Learning by Prof. Dr. Martin Burger
• FAU MoD Lecture: The role of Artificial Intelligence in the future of mathematics by Prof. Dr. Amaury Hayat
• FAU MoD Lecture: FAU MoD Lecture. Special November 2023 by Prof. Dr. Michael Kohlhase and Prof. Dr. Edriss S. Titi
• FAU MoD Lecture: Free boundary regularity for the obstacle problem by Prof. Dr. Alessio Figalli
• FAU MoD Lecture: Physics-Based and Data-Driven-Based Algorithms for the Simulation of the Heart Function by Prof. Dr. Alfio Quarteroni
• FAU MoD Lecture: From Physics-Informed Machine Learning to Physics-Informed Machine Intelligence: Quo Vadimus? by Prof. Dr. George Karniadakis
• FAU MoD Lecture: From Alan Turing to contact geometry: Towards a “Fluid computer” by Prof. Dr. Eva Miranda
• FAU MoD Lecture: Applications of AAA Rational Approximation by Prof. Dr. Nick Trefethen
• FAU MoD Lecture: Learning-Based Optimization and PDE Control in User-Assignable Finite Time by Prof. Dr. Miroslav Krstic

_
Don’t miss out our last news and connect with us!

LinkedIn | Twitter | Instagram