VIDEO DOI: https://doi.org/10.48448/fz35-4441

poster

AAAI 2023

•

February 11, 2023

•

Washington, United States

Reachability Games Modulo Theories with a Bounded Safety Player

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

poster

AutoGraph: Optimizing DNN Computation Graph for Parallel GPU Kernel Execution

AAAI 2023

+2
Bei Yu and 4 other authors

11 February 2023

Similar lecture

poster

Zero-Shot Assistance in Sequential Decision Problems

AAAI 2023

Sebastiaan De Peuter and 1 other author

12 February 2023

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