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