Synthesis of Provably Correct, Integrated Protocols for Autonomy and Networking

  • autonomy
  • networking
  • Protocols
  • synthesis
  • CPS Domains
  • Communication
  • Transportation
  • Automotive
  • Avionics
  • CPS Technologies
  • Wireless Sensing and Actuation
  • Foundations
  • Control
  • Networked Control
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Publications
  • Position Paper
  • Academia
  • CFP Submissions
  • CFP Paper Submissions
Submitted by jf_85 on