VIDEO DOI: https://doi.org/10.48448/fdeh-0j36

poster

AAAI 2023

February 09, 2023

Washington, United States

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

poster

Balanced Column-Wise Block Pruning for Maximizing GPU Parallelism

AAAI 2023

+4
Won Woo Ro and 6 other authors

09 February 2023

Similar lecture

technical paper

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning

IEEE RTSS 2021

+2
John Komp and 4 other authors

09 December 2021

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