Formal Methods for Safe and Interpretable Reinforcement Learning
NSF Institute for Trustworthy AI in Law & Society (TRAILS) · University of Maryland — Electrical and Computer Engineering and Computer Science
Calin Belta
University of Maryland — Electrical and Computer Engineering and Computer Science
1 talk