CPS Synergy: Collaborative Research: Formal Design of Semi-autonomous Cyber Physical Transportation Systems

Submitted by Domitilla Del … on
  • collision avoidance
  • multi-vehicle systems
  • Safety
  • Massachusetts Institute of Technology
  • UMTRI
  • CPS Domains
  • Critical Infrastructure
  • Transportation Systems Sector
  • Transportation
  • Foundations
  • Modeling
  • Simulation
  • Validation and Verification
  • 2015
  • National CPS PI Meeting 2015
  • Academia
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.