Paper: Dynamic Contracts for Distributed Temporal Logic Control of Traffic Networks

Authors: Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia

Download the codes from Dynamic Contracts