CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach

  • Presentation
  • Boston University
  • University of California at Berkeley
  • 1446145
  • 1446151
  • Session 2: PI Lightning Talks
Submitted by Murat Arcak on