VIDEO DOI: https://doi.org/10.48448/ntgb-n993
PAPER DOI: Learning-enabled Multi-agent Systems, Neural Networks, Formal Verification

technical paper

AAMAS 2020

May 11, 2020

Live on Underline

Formal Verification of Neural Agents in Non-deterministic Environments

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAMAS 2020

Learning to Design Coupons in Online Advertising Markets
technical paper

Learning to Design Coupons in Online Advertising Markets

AAMAS 2020

+2
Yadong Xu and 4 other authors

11 May 2020

Similar lecture

Stay up to date with the latest Underline news!

PRESENTATIONS

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

© 2023 Underline - All rights reserved