144 I-C5 Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning

July 28, 2021 • United States

Davide Corsi-avatar-image
SPEAKER

Davide Corsi

University of Verona
Alessandro Farinelli-avatar-image
SPEAKER

Alessandro Farinelli

Università degli Studi di Verona
Enrico Marchesini-avatar-image
SPEAKER

Enrico Marchesini

aboutabstractauthors

144 I-C5 Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning

July 28, 2021 • United States

Davide Corsi-avatar-image
SPEAKER

Davide Corsi

University of Verona
Alessandro Farinelli-avatar-image
SPEAKER

Alessandro Farinelli

Università degli Studi di Verona
Enrico Marchesini-avatar-image
SPEAKER

Enrico Marchesini

similar conferences

UAI 2021

The Conference on Uncertainty in Artificial Intelligence (UAI) 2021

next from UAI 2021view all
lecture cover

Multiple speakers

46 I-A4 Improving Uncertainty Calibration of Deep Neural Networks via Truth Discovery and Geometric Optimization

UAI 2021 • Jul 28, 2021

similar lectures

PLATFORM

  • Home
  • Events
  • Video Library

COMPANY

RESOURCES

Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2020 Underline - All rights reserved

Made with ❤️ in New York City