Synthesis of Provably Correct, Integrated Protocols for Autonomy and Networking Download pdf Tags: 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 License: CC-2.5 Submitted by jf_85 on Thu, 02/20/2014 - 10:06