All three submissions, titled below, were accepted to appear in 56th IEEE Conference on Decision and Control (CDC), 2017, Melbourne, Australia.

• Formal Methods for Adaptive Control of Dynamical
  Systems
• Dynamic Contracts for Distributed Temporal Logic
  Control of Traffic Networks
• Provably Safe Cruise Control of Vehicular
  Platoons