NRI: FND: A Formal Methods Approach to Safe, Composable, and Distributed Reinforcement Learning for co-Robots Download pdf Tags: NSF NRI PI Meeting 2021 Short Talks 2024606 Presentation License: CC-2.5 Submitted by Calin Belta on Fri, 05/14/2021 - 10:22