UAI 2021

July 28, 2021

United States

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

DOI: 10.48448/tj1d-sk77

Please log in to leave a comment

Downloads

SlidesPaper

Next from UAI 2021

Improving Uncertainty Calibration of Deep Neural Networks via Truth Discovery and Geometric Optimization

UAI 2021

+2
Mingchen Gao and 4 other authors

28 July 2021

Similar lectures

technical paper

Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS

IEEE RTSS 2021

Ipsita Koley and 2 other authors

09 December 2021

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