technical paper

AAMAS 2020

May 11, 2020

Live on Underline

Formal Verification of Neural Agents in Non-deterministic Environments

DOI: 10.48448/ntgb-n993

Please log in to leave a comment

Downloads

Slides

Next from AAMAS 2020

technical paper

Learning to Design Coupons in Online Advertising Markets

AAMAS 2020

+2
Yadong Xu and 4 other authors

11 May 2020

Similar lecture

Maximizing Influence Spread through a Dynamic Social Network

AAAI 2023

Šimon Schierreich

10 February 2023

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

© 2023 Underline - All rights reserved