ECAI 2020

August 31, 2020

Live on Underline

Would you like to see your presentation here, made available to a global audience of researchers?
Add your own presentation or have us affordably record your next conference.

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search
technical paper

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search

ECAI 2020

Patrick Henriksen
Patrick Henriksen

31 August 2020

Similar lecture

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

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

UAI 2021

Davide Corsi
Davide Corsi and 2 other authors

28 July 2021

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved