CAREER: Establishing Correctness of Learning-Enabled Autonomous Systems with Conflicting RequirementsNational Science Foundation

Submitted by Jason Gigax on
  • 2141153
  • 2022
  • CPS PI Meeting 2022