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
Artificial Intelligence researcher, University of Maryland — Electrical and Computer Engineering and Computer Science,
1 talk
Next, , Formal Methods for Safe and Interpretable Reinforcement Learning