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

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s