Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

1446151

file

Visible to the public CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach

Submitted by arcak on Wed, 11/15/2017 - 2:29am. Contributors:
  • Murat Arcak
  • Roberto Horowitz
  • Boston University
  • University of California at Berkeley
  • 1446145
  • 1446151
  • Session 2: PI Lightning Talks
  • Presentation

Terms of Use  |  ©2023. CPS-VO