Verified Control of Cooperative Autonomous Vehicles

  • formal verification
  • autonomous vehicles
  • 1646556
  • 2019
  • CPS PI Meeting 2019
  • Poster
  • U.S. Government
  • NSF
  • Posters
Submitted by Christoffer Heckeman on