Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia. Dynamic contracts for distributed temporal logic control of traffic networks. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 3640-3645, IEEE, 2017. [doi]
Abstract is missing.