Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
2018 NSF Cyber-Physical Systems Principal Investigators' Meeting
  • Home
  • Program Agenda
  • Lightning Talks
  • Abstracts/Posters/Videos
  • Mini-Workshops
  • Demonstrations
  • Attendees
  • Files
CPS-VO » NSF CPS PI Meetings » 2018 NSF Cyber-Physical Systems Principal Investigators' Meeting

Visible to the public Verified Control of Cooperative Autonomous Vehicles

  • View
  • Properties
Submitted by Christoffer Heckman on Tue, 12/04/2018 - 5:49pm. Contributors:
  • Christoffer Heckman
  • Guohui Ding
  • Sina Aghli
  • Lijun Chen
  • Hadi Ravanbakhsh
  • Sriram Sankaranarayanan
License: 
Creative Commons 2.5

Other available formats:

Verified Control of Cooperative Autonomous Vehicles
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 7.15 MB
  • 21 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • self-driving cars
  • formal verification
  • cooperative games
  • Session 5: LT
  • 1646556
  • CPS-PI Meeting 2018
  • 2018
  • Presentation

Terms of Use  |  ©2023. CPS-VO