NRI: FND: A Formal Methods Approach to Safe, Composable, and Distributed Reinforcement Learning for co-Robots

Submitted by Regan Williams on
  • Short Talks
  • 2024606
  • 2021
  • NSF NRI PI Meeting 2021
  • NSF