3 Papers accepted to CDC 2017!

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
  • Dynamic Contracts for Distributed Temporal Logic
    Control of Traffic Networks
  • Provably Safe Cruise Control of Vehicular

Leave a Reply

Your email address will not be published. Required fields are marked *