Reinforcement Learning with Guarantees that Hold for Ever Conference Proceeding

Overview

CU Boulder Authors

publication date

September 1, 2022

Date in CU Experts

February 2, 2023 1:40 AM

Full Author List

Trivedi A; Hahn EM; Perez M; Schewe S; Somenzi F; Wojtczak D

author count

6

presented at event

Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Conference