VIDEO DOI: https://doi.org/10.48448/a30k-q832

technical paper

ECAI 2020

August 31, 2020

Live on Underline

Extended Markov Games to Learn Complex Specifications in Multi-Agent Reinforcement Learning

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 Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved