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
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