BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv7.32.0//EN
X-ORIGINAL-URL:https://mod.fau.eu/
X-WR-CALNAME:FAU MoD
X-WR-CALDESC:FAU Research Center for Mathematics of Data
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T030000
RRULE:FREQ=YEARLY;BYMONTH=03;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=4SU
END:STANDARD
END:VTIMEZONE
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-3f900db2608fb3eecb3ee77ba9ef5f60@mod.fau.eu
DTSTART;TZID=Europe/Berlin:20240515T110000
DTEND;TZID=Europe/Berlin:20240515T120000
DTSTAMP:20240509T123547Z
CREATED:20240509
LAST-MODIFIED:20240509
PRIORITY:5
SEQUENCE:0
TRANSP:OPAQUE
SUMMARY:FAU MoD seminar: Verifying Deep Reinforcement Learning Systems
DESCRIPTION:Next Wednesday May 15, 2024:\nFAU MoD seminar\nOrganized by: FAU MoD, Research Center for Mathematics of Data at FAU, Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany)\nTitle: Verifying Deep Reinforcement Learning Systems\nSpeaker: Guy Amir\nAffiliation: The Hebrew University of Jerusalem\nAbstract.  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.\nThe talk will be mostly based on two papers:\nTowards Scalable Verification of Deep Reinforcement Learning (FMCAD 2021)\nVerifying Learning-Based Robotic Navigation Systems (TACAS 2023)\nWHEN\nWed. May 15, 2024 at 11:00H\nWHERE\nOn-site: Room 03.323\nFriedrich-Alexander-Universität Erlangen-Nürnberg\nCauerstraße 11, 91058 Erlangen\nGPS-Koord. Raum: 49.573764N, 11.030028E\n_\n \nYou might like:\n• FAU MoD Lectures\n• Seminars at FAU DCN-AvH\nDon’t miss out our last news and connect with us!\nwww.mod.fau.eu/events ( http://www.mod.fau.eu/events )\nLinkedIn | X (Twitter) | Instagram\nLinkedIn | Twitter | Instagram\n
URL:https://mod.fau.eu/events/fau-mod-seminar-15-may-2024/
ORGANIZER;CN=FAU MoD:MAILTO:
CATEGORIES:FAU MoD lecture,Seminar/Talk
LOCATION:FAU
ATTACH;FMTTYPE=image/png:https://mod.fau.eu/wp-content/uploads/FAUMoD_seminar_gAmir_15may2024-1.png
END:VEVENT
END:VCALENDAR