BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv6.5.6//EN
X-ORIGINAL-URL:https://cmc.deusto.eus/
X-WR-CALNAME:cmc.deusto.eus
X-WR-CALDESC:DeustoCCM - Chair of Computational Mathematics at University of Deusto
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-548669c53491d7595c0e6f4609795265@cmc.deusto.eus
DTSTART:20240515T090000Z
DTEND:20240515T100000Z
DTSTAMP:20251031T212700Z
CREATED:20251031
LAST-MODIFIED:20251031
PRIORITY:5
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://cmc.deusto.eus/events-calendar/fau-mod-seminar-verifying-deep-reinforcement-learning-systems/
ORGANIZER;CN=FAU DCN-AvH:MAILTO:
CATEGORIES:FAU DCN-AvH Jr. Seminar
ATTACH;FMTTYPE=image/png:https://cmc.deusto.eus/wp-content/uploads/FAUMoD_seminar_gAmir_15may2024.png
END:VEVENT
END:VCALENDAR