skip to main content


Title: Joint Differentiable Optimization and Verification for Certified Reinforcement Learning
Award ID(s):
2038853 1834701 1724341
NSF-PAR ID:
10478812
Author(s) / Creator(s):
; ; ; ; ; ;
Publisher / Repository:
ACM
Date Published:
Page Range / eLocation ID:
132 to 141
Format(s):
Medium: X
Location:
San Antonio TX USA
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found