Negar Mehr, Dorsa Sadigh, Roberto Horowitz, S. Shankar Sastry, Sanjit A. Seshia. Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications. In 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017. pages 4884-4889, IEEE, 2017. [doi]
Abstract is missing.